90后华人副教授突破30年数学猜想！结论与生成式AI直接相关
90后华人副教授突破30年数学猜想！结论与生成式AI直接相关困扰数学界30多年的塔拉格兰卷积猜想，被90后华人数学家攻破了！
来自主题: AI技术研报
7569 点击 2025-11-26 14:37
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
困扰数学界30多年的塔拉格兰卷积猜想，被90后华人数学家攻破了！
陶哲轩携手Gemini，十分钟破解数学难题！
Gemini 3一日霸榜数学、物理两个顶级基准测试！与此同时，陶哲轩用Gemini DeepThink十分钟便搞定了一道埃尔德什难题。
著名数学家陶哲轩发论文了，除了陶大神，论文作者还包括 Google DeepMind 高级研究工程师 BOGDAN GEORGIEV 等人。论文展示了 AlphaEvolve 如何作为一种工具，自主发现新的数学构造，并推动人们对长期未解数学难题的理解。AlphaEvolve 是谷歌在今年 5 月发布的一项研究，一个由 LLMs 驱动的革命性进化编码智能体。
星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5让数学证据落在了代码里。一雪前耻，ChatGPT为OpenAI「正名」！被Hassabis吐槽太尴尬之后，GPT-5真启发了新的数学结论。OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。但被指出GPT并非解决了Erdős问题，而是找到了已经解决这些问题的文献。
陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。
当AI不再只是解题机器，而能与人类并肩完成严谨的科研证明，这意味着什么？
今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。他们将用上谷歌最强数学AI，去探索发现新的疆域。这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。
加州大学洛杉矶分校（UCLA）数学教授 Ernest Ryu 发推称：「我使用 ChatGPT 解决了凸优化中的一个未曾被解决的问题。」随后，他通过一系列推文介绍了自己与 ChatGPT 的联合成果。
国际奥赛又一块金牌，被AI夺下了！在国际天文与天体物理奥赛（IOAA）中，GPT-5和Gemini 2.5 Pro完胜人类选手，在理论和数据分析测试中，拿下了最高分。在理论考试上，Gemini 2.5 Pro总体得分85.6%，GPT-5总体得分84.2%；