OpenAI首席科学家震撼爆料，其神秘内部模型仅凭一周成功攻克了10道未发表顶尖数学难题中的6道。这一名为First Proof的挑战标志着AI已从奥赛选手进化为前沿知识的创造者，奥特曼更直言STEM研究范式将被彻底重塑。
来自上海科学智能研究院（上智院）、北京大学、复旦大学的联合团队，提出了一套名为PackingStar的强化学习系统，一口气刷新了25-31连续7个维度的世界纪录。
今天，谷歌DeepMind「AI数学家」Aletheia彻底杀疯了，攻克数学猜想，独立写论文。更令人震惊的是，拿下金牌的Gemini一举横扫18大核心科研难题。
在经济学和博弈论的世界里，找到「纳什均衡」往往意味着找到了复杂局势下的最优解。多所顶尖高校的研究人员开发出了一位名为PrimeNash的「AI数学家」，不仅能像人类专家一样推导公式，还能解决许多连传统算法都束手无策的复杂博弈难题，成果已发表在Cell Press旗下的交叉学科期刊Nexus上。
刚刚，谷歌发布了一项新的研究进展：他们用 Gemini 做了一次系统性的数学攻关实验，把目标对准了著名的 Erdős Problems 数据库里 700 个仍被标注为 open（未解决）的猜想。
你的童年我的童年好像不一样。
AI证明数学猜想，这次来真的了。
数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……
当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
在人类满分都罕见的普特南数赛上，AI直接12题全对拿满分。陶哲轩等大佬预言AI已经取得了重要里程碑，再加上GPT-5.2 Pro在数学上强到「离谱」的表现，那种「奇点将近」的直觉，真的压不住了。
