AI涉足数学证明领域：人工核验面临新挑战
AI虽然能够提出新问题，但要确认所得结论是否成立，终究离不开人类的把关。短短一周内，来自三家不同机构的AI系统，分别提交了数学家们至今未能攻克的解答。然而一个现实问题浮现出来：随着AI大规模"提交成果"，评判工作该由谁来完成？01 AI"作答"的节奏据相关消息，Anthropic公司一款尚未对外发布的模型，在大约60小时内独立运行，对后量子签名算法HAWK的密钥安全强度做了全新测算。它将原本高达2^64的搜索范围缩减至2^38，效率跃升约6700万倍，此外还将针对AES-128的攻击速度加快了200至80
陶哲轩ICM演讲亮出警告：AI证明洪流淹没数学界，人类正被活活撑死
数学，人类智慧王冠上最坚硬的那颗明珠，正遭遇一场史无前例的危机：证明的数量之多，已远超人类消化的极限。2026年7月24日，费城，国际数学家大会（ICM 2026）。 菲尔兹奖获得者、"当代数学界的莫扎特"陶哲轩登上公众讲座的主席台，抛出了一番令全场鸦雀无声的论断：人工智能正将数学界推入"证明消化不良"（proof indigestion）的境地，机器以排山倒海之势产出证明，而人类的理解力、审阅力与消化能力，远远难以匹敌。这是一份严肃的判断，出自在分析、组合与数论领域深耕三
OpenAI AI打破Erdos猜想，数学研究新突破
AI不仅在棋类和编程上称霸，如今更是涉足数学证明领域。这一次，它成功破解了一个困扰多年的数学谜题。OpenAI最近透露，他们最新的推理模型成功打破了一个著名的数学猜想——Erdos单位距离猜想。该猜想内容为：在平面上放置n个点，点与点之间特定距离的连线数量存在上限。而OpenAI的模型通过特定构造，成功突破了这一限制。01 此举为何意义重大Erdos单位距离猜想属于离散几何的核心难题，由著名数学家Paul Erdos于1946年提出。几十年来，无数数学家试图证明或推翻它，但始终未能彻底解决。示意图（配图与
AI浪潮下的数学革命：2030年人工智能能否携手数学家问鼎菲尔兹奖
《Nature》杂志的专题报道中，多位数学家就此议题发表了自己的看法。OpenAI的数学家塞巴斯蒂安·布贝克指出：这简直令人难以置信，在该案例中，人们开始在模型的输出中察觉到原创“思维”的端倪。加拿大多伦多大学的数学家丹尼尔·利特认为：人工智能系统尚未实现重大突破，但它们对现有数学知识的掌握已超越人类水平，并且展现出强大的推理能力；此外，它们不会感到疲惫或丧失动力。据报道，目前主要的制约因素之一是现有模型最多只能生成三到四页长度的证明，但正在不断改进。同时多位数学家也表达了担忧，比如人类审稿人在评估人类撰
陶哲轩：只会做题终将落后，AI推动数学进入“证明过剩”
《自然》杂志近日就人工智能如何改变数学家展开了采访，受访者是菲尔茨奖得主陶哲轩。他认为，AI会迫使我们重新审视一些最基础的概念——什么才算数学证明？论文究竟意味着什么？数学家这个职业追求的目标到底是什么？如果这些问题不由人主动提出，最终答案可能由AI公司给出，或更直接地被经济利益所左右。那为何数学会成为AI眼中的“下一大目标”？在其他领域的应用里，AI最大的硬伤往往在于它可能产生难以核验的错误。但在数学中，情况几乎完全不同：你能把结果自动核对——至少当输出被当作定理的证明时是如此（当然，这并不等于数学家工