OpenAI AI打破Erdos猜想，数学研究新突破
AI不仅在棋类和编程上称霸，如今更是涉足数学证明领域。这一次，它成功破解了一个困扰多年的数学谜题。OpenAI最近透露，他们最新的推理模型成功打破了一个著名的数学猜想——Erdos单位距离猜想。该猜想内容为：在平面上放置n个点，点与点之间特定距离的连线数量存在上限。而OpenAI的模型通过特定构造，成功突破了这一限制。01 此举为何意义重大Erdos单位距离猜想属于离散几何的核心难题，由著名数学家Paul Erdos于1946年提出。几十年来，无数数学家试图证明或推翻它，但始终未能彻底解决。示意图（配图与
AI浪潮下的数学革命：2030年人工智能能否携手数学家问鼎菲尔兹奖
《Nature》杂志的专题报道中，多位数学家就此议题发表了自己的看法。OpenAI的数学家塞巴斯蒂安·布贝克指出：这简直令人难以置信，在该案例中，人们开始在模型的输出中察觉到原创“思维”的端倪。加拿大多伦多大学的数学家丹尼尔·利特认为：人工智能系统尚未实现重大突破，但它们对现有数学知识的掌握已超越人类水平，并且展现出强大的推理能力；此外，它们不会感到疲惫或丧失动力。据报道，目前主要的制约因素之一是现有模型最多只能生成三到四页长度的证明，但正在不断改进。同时多位数学家也表达了担忧，比如人类审稿人在评估人类撰
陶哲轩：只会做题终将落后，AI推动数学进入“证明过剩”
《自然》杂志近日就人工智能如何改变数学家展开了采访，受访者是菲尔茨奖得主陶哲轩。他认为，AI会迫使我们重新审视一些最基础的概念——什么才算数学证明？论文究竟意味着什么？数学家这个职业追求的目标到底是什么？如果这些问题不由人主动提出，最终答案可能由AI公司给出，或更直接地被经济利益所左右。那为何数学会成为AI眼中的“下一大目标”？在其他领域的应用里，AI最大的硬伤往往在于它可能产生难以核验的错误。但在数学中，情况几乎完全不同：你能把结果自动核对——至少当输出被当作定理的证明时是如此（当然，这并不等于数学家工