AI证明数学猜想，这次来真的了。
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。
论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。
卧槽！！
3 Likes
666，未来不可限量
3 Likes
收录 埃尔德什问题 的网站
chatgpt解决的问题：
3 Likes
deepseek之前不是出了一个数学很强的模型吗，期待有人在高难度问题上应用成功
5 Likes
牛啊！今年可能会出现所谓“AI发现/证明的新知识”的一波爆发。
1 Like
之前有个相关帖子不知为何被删除了，还是重复一下结论：
#281 是已经有过证明的，陶哲轩后续已经将证明修改为了第二类，不过，GPT-5.2 Pro 给出的证明与已有证明截然不同。此前，GPT-5.2 Pro 也确实解决过没有（至少暂未找到）证明的 Erdos 问题，但不是这道。
2 Likes
我看说有另外的方法很多年前就有了，ai是用了另外的方法
1 Like
我去，期望AI能更牛逼？
是之前没被证明过的吗
1 Like
数学家和程序员一起失业
还早还早，数学家能给GPT出题…吧
2 Likes
我更好奇这个针对AI的这个问题和prompt是如何描述的， 
llm对科学的推动还是很显著的，gpt后时代的ai科研的进步快了非常多
强在应试，难的是创新。
AI已经强到这个地步了吗？
问题描述明确，有最优解，过程容易量化的题目本身AI都解决的很不错啊- -各家旗舰推理模型基本都是做题小能手…coding也是因为问题容易描述，有解，且结果容易评价，所以非常适配强化学习和各种后训练，导致进步速度迅猛。那种一千个人一千个哈姆雷特的方向就很难说了，写出来的东西你觉得有理有据，逻辑清晰，别人可能觉得文风生硬，文采不足。
以后到底是一个什么样的时代呢 
标题党啊