48小时，50年数学谜题就被破解！AI与全球数学家梦幻联动，从游戏分硬币到正方形填充，层层拆解埃尔德什遗留难题，人机协作彻底引爆 了数学研究新范式。 刚刚，AI又破解了一个数学难题！ Erdos#1026问题已经被攻克，且给出了正式证明。 而在此之前，这个问题已经困扰了数学界50年。 陶哲轩在Mastodon上宣布了这一消息，还在一篇博客中详细讲述了这个故事。 他强调，在AI的辅助下，人类团队仅用了48小时，就顺利攻克了这一难题。 并且，AI在此过程中带来的是全新理解，绝非搜索这么简单。 要知道，如果是靠传统方法，只靠数学家使用编程和文献检索，可能会需要数周甚至数月。 在这个过程中，AI实际上是在生成新的数学洞见，而不仅仅是检索现有文献。 Harmonic官网也宣布了这一消息，其AI系统Aristotle参与了此次解题过程。 Erdos#1026问题 1975年，传奇数学家保罗·埃尔德什在一篇论文的角落随手写下一个问题。 半个世纪后，这个问题静静躺在「埃尔德什问题网站」上，编号1026。 谁也没想到，它会在2025年的最后一个月，被一群数学家利用AI工具，在短短48小时内彻底破解。 埃尔德什的原问题，读起来有 ...