陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现

文章预览

本文转自微信公众号“新智元”，作者：新智元。 编辑：桃子 【导读】 o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。 o3-mini竟然已经进化到，能秒解图论难题的程度了？！ 今天，陶哲轩在社交平台上，再次分享了自己用AI辅助数学证明的经典用例和感想。 他以Ruzsa-Szemeredi的「三角移除引理」（Triangle Removal Lemma）为例，目标是证明一个对专家来说图论中的标准结论： 一个由n个顶点、n个诱导匹配构成的图，其边数仅为o(n^2) 若要证明这个定理，有三种选择：用笔和纸自己手动推导；通过网络搜索找答案；或借助大模型。 在此，陶哲轩明智地采用了第三种方式，让o3-mini去证明。 结果令人眼前一亮，几秒钟内，AI给出了一个正确的答案，一个精准 ………………………………