← Moser 蟲問題 / 二 · 計算與重現 / 第 10 輪

Moser 蟲問題 二 · 計算與重現 第 10 輪 懸衡 PARTIAL CERTIFIED HERE

Round 10:相位接觸圖重現到 10⁻¹³;但它的四個尖點最小值中有一個其實是它漏掉的平滑最小值,翼的切換點上每對所述導數中有一個不是導數;本輪留作未決的「最小值在 3π/2」在這裡獲得認證

PARTIAL。18 個區間與各切換點重現到 10⁻¹³;但有一個尖點最小值其實是切換點前 5.44×10⁻⁹ rad 的平滑最小值,每一道防護都漏掉了它;每對所述導數中有一個是取樣值。

PARTIAL · CERTIFIED HERE 本頁是第二層:獨立重算第一層第 10 輪封包的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文,也不把數值結果當作證明;依據這兩層寫成的正式論文屬於第三層「三 · 結晶」。下方是重算報告的英文原文(與研究樹逐位元組相同),程式與 gate log 可直接下載。

連接 · Connections

重算報告 · Runs

RUN-011Round 10:相位接觸圖重現到 10⁻¹³;但它的四個尖點最小值中有一個其實是它漏掉的平滑最小值,翼的切換點上每對所述導數中有一個不是導數;本輪留作未決的「最小值在 3π/2」在這裡獲得認證

判定:PARTIAL。18 個區間與各切換點重現到 10⁻¹³;但有一個尖點最小值其實是切換點前 5.44×10⁻⁹ rad 的平滑最小值,每一道防護都漏掉了它;每對所述導數中有一個是取樣值。

報告(英文原文)、程式與 gate log:報告 RUN-011.md · corpus.py · run011_round10_phase_map.py · gate.py · gate log run011-round10-phase-map.json

展開後載入…