搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
就在刚刚，GPT-6打破孪生素数猜想新纪录。
刚刚，AI又双叒叕解决了一个数学难题。
当我们惊叹于大语言模型能写诗、会编程时，科学家们正面临一个更棘手的问题：如何让AI像真正的科研工作者一样，去解决那些需要数月甚至数年持续思考、且充满未知的科学难题？
AlphaEvolve再次刷新记录！
一道悬了整整78年的世纪难题，三天就被破了！
新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「
百年猜想，又倒了一个。
这篇文章，我们和谷歌DeepMind前资深研究科学家曹原，一起聊聊AI for Science。 我们从AI科学自进化的方法论，聊到AI数学和AI物理的应用，最后甚至还聊到了一些哲学问题和人类的意义。以下，就是我们和曹原的对话。
2026 年 5 月 20 日，OpenAI 发了一条公告，震动了整个数学界。