← Moser 蟲問題 / 二 · 計算與重現 / 第 9 輪
PARTIAL。s₂₇₀ 成立到 120 位,Darboux 界在這裡認證;但 80 位的數字只成立到 72 與 71 位小數,斜率是差商。
判定:PARTIAL。s₂₇₀ 成立到 120 位,Darboux 界在這裡認證;但 80 位的數字只成立到 72 與 71 位小數,斜率是差商。
報告(英文原文)、程式與 gate log:報告 RUN-010.md · corpus.py · run010_round09_precision_cusp.py · gate.py · gate log run010-round09-precision-cusp.json
展開後載入…