GPT-6 Astra 將孿生素數間距上界縮至 186，陶哲軒警告黑盒解題恐扼殺數學發展

剛發布的 GPT-6 Astra 在孿生素數猜想取得突破，使用 Lean 形式化證明將連續素數間距的上界從 246 推至 186；另據報導，該模型的真正野心是接管人類的電腦。同期 Anthropic 和 Axiom 也宣布其 AI 將該間距分別縮小至 188 和 212。作為對比，牛津大學數學家 Julia Stadlmann 剛於 8 月 31 日憑藉對平滑模數的新估計，由人類將上界縮至 240。 數學家陶哲軒對此發出警告，指出 AI 解題過快且過程如同黑盒，若企業將 AI 尋找正確擬設（ansatz）的迭代過程完全隔絕於公眾視野，將扼殺數學領域的發展。他以納維-斯托克斯方程為例，強調數學研究的價值不僅在於最終答案，更在於探索過程中因失敗路線而啟發出的新思想與定理。陶哲軒認為，若自主運行的 AI 在巨量算力下直接給出答案而缺乏透明度，將「污染」開放問題，使其無法再成為推動後續數學進展的源泉。