搜索
GPT-6 突破「素数间隔」纪录，这次是加入 OpenAI 的北大数院 07 级校友
4 小时前
OpenAI 发布 GPT-6 Astra，在有界素数间隔问题上取得突破，将已知上界从246推进至186，并完成Lean形式化验证。该成果由北大数院07级校友、OpenAI研究员苏炜杰宣布，模型通过探索新因子分解条件优化筛法实现突破。同日，Axiom宣布将上界推进至212，Anthropic称其Claude团队已完成上界188的形式化证明。此前，数学家Julia Stadlmann已将上界从246推进至240。AI正从解决数学问题转向参与数学研究，或成大模型下一阶段竞争焦点。
