OpenAI内部模型证明任意维度挂谷猜想！
计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪！
三维挂谷搞定了，四维挂谷呢？百维挂谷呢？全域数学这样说……#三维挂谷猜想 #全域数学 #乖乖数学 #菲尔兹奖
GPT-6 Astra 20分钟交出精确解：59年核聚变猜想被推翻
AI证明数学猜想？——不要杞人忧天
什么是朗道西格尔零点，以及它如何变成一道课后习题
🏅 2030 菲尔兹奖：ChatGPT
老登被AI最新的生物科研成果吓得瘫坐眩晕！！！
人类把数学带偏了 200 年，AI 一脚给它掰回了正轨
Anthropic向国会推AI法案：死50人以下，政府无权阻止模型继续运行
高斯 vs OpenAI内部模型 （数学潜力对比）
得知OpenAI解决ns方程问题的韦东奕
AI捅破理论物理天花板 三年纪录被刷新
难道说韦神真的不敌OpenAI
GPT 认为，过去 3 年的数学大部分是昨天发表的
张益唐往日访谈：AI大模型不会解决黎曼猜想这样的难题。#张益唐#黎曼猜想#数学#科学#数学难题
《GPT-10astra：能》
Claude怀疑人类笨 半小时就解开26年悬案
五种算法只为省下一个方块 - 集合覆盖问题
AI数学新闻：有限单群分类定理被Axiom公司彻底形式化，4310万行Lean代码成为史上最大数学形式化项目！
