张益唐孪生素数猜想,被GPT-6破新纪录! 北大数学07级苏炜杰:很震撼
张益唐孪生素数猜想,被GPT-6破新纪录! 北大数学07级苏炜杰:很震撼就在刚刚,GPT-6打破孪生素数猜想新纪录。
来自主题: AI技术研报
10080 点击 2026-09-04 10:29
搜索
就在刚刚,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 发了一条公告,震动了整个数学界。
给AI一道数学猜想,它先琢磨的居然是:怎么把它推翻找反例!!