就在数小时前，OpenAI官方确认了一项震撼数学界的突破：其最新模型GPT-6Astra将孪生素数猜想的上界推进至186。
这一成就被明确归功于GPT-6Astra系列，标志着人工智能在纯数学推理领域迈出了决定性的一步。紧接着在9月3日清晨，AI初创团队AxiomMath宣布其系统AxiomProver将界限降至212。从246到240，人类耗费了十二年光阴；而从240到186，AI仅用了三天时间。UC伯克利教授TonyFeng也在社交媒体上向Axiom团队指出，世界纪录可能已因OpenAI在GitHub提交的186证明而改写。GPT-6并非依靠暴力搜索达成此成就，而是展现了深邃的数学直觉。为确保严谨性，OpenAI同步提交了完整的Lean4形式化验证代码。从辅助工具到前沿发现者，AI在基础数论领域的角色已发生根本性转变。
这条信息对你有帮助吗？