← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / DLMVC · 深滯後驗證方法論
DLMVC 的數學成立,在兩處甚至比此處的初讀更深入。但它唯一一次「獨立重現」是重跑作者自己的腳本,於是也重現了腳本的錯誤——這正是 DLMVC 要防止的失敗模式。四次深層 pass 的常數全部重算得出,只有 Pass 04 的兩個量是落在不安全一側的網格取樣。
判定:DLMVC 的九項判定 PASS;其餘十九項是標籤。它的「實證驗證:PARTIAL」是對的,但理由不是它給的那個。
展開後載入…
判定:各 pass 的定理,以及除三項外的每個常數與合理性數字 PASS。Pass 04 的內核因子與銳利格半徑是落在不安全一側的網格取樣,用它們框住的東西按它自己的論證並未成立;它給 Pass 03 格半徑的數字是另一個量。
展開後載入…