通過這種重寫，所有 minor-arc 的貢獻都被明確寫成顯式函數，其最大值決定最終的常數。再利用尾部單調性和區間算術的方法，可以把原本依賴人工估算的步驟，變成可驗證復現的數值證書。 這項工作的核心目標是把原本複雜且難以完全核查的常數估計整理成一個可以機器驗證的完整體系，揭示了在固定參數下限制閾值下降的主要瓶頸在哪裡。閱讀全文： A Rigorous Computational Reconstruction of the Minor-Arc Bound in Helfgott’s Proof of Ternary Goldbach — Mirror Tang
我在 Helfgott 2014 年三素数定理證明的基礎上，對其中 minor-arc（邊緣弧）的部分顯式常數體系進行了重構，把分散在多條不等式裡的顯式常數重新整理成一個一維上確界問題的結構。
通過這種重寫，所有 minor-arc 的貢獻都被明確寫成顯式函數，其最大值決定最終的常數。再利用尾部單調性和區間算術的方法，可以把原本依賴人工估算的步驟，變成可驗證復現的數值證書。
這項工作的核心目標是把原本複雜且難以完全核查的常數估計整理成一個可以機器驗證的完整體系，揭示了在固定參數下限制閾值下降的主要瓶頸在哪裡。閱讀全文：
A Rigorous Computational Reconstruction of the Minor-Arc Bound in Helfgott’s Proof of Ternary Goldbach
— Mirror Tang