AI：数学领域的“硬分叉”时刻
Insight
Insight
超越计算：当 AI 重塑规则
几十年来，我们一直教计算机遵循人类的数学逻辑。而现在，它们开始告诉我们，我们的数学是错的。
最近我看了前 Google X 高管 Mo Gawdat 的一次演讲，他抛出了一个关于矩阵乘法的重磅消息。56 年来，我们一直沿用同一套标准方法。那是代码的基石。
这项发明带来了 26% 的性能提升 ，并为谷歌削减了数亿美元的能源成本。这不仅仅是在“解”数学题，而是彻底的架构重塑。
普特南奇迹
Axiom 的 AI 在全球最难的数学竞赛中拿到了 120/100 的高分。去年的全人类中位数得分是多少？零分。
GPT-5 Pro 预览版
在 15 分钟内解决了 Yu Tsimurutsu 的第 554 道难题。没有联网。纯靠抽象代数推理。
AIbox.ai
无需一行代码即可构建自己的 AI 工具。只需输入提示词，它就会为你连接各种模型。
埃尔德什名单：自圣诞节以来已解决的难题
在最近破解的 15 个“不可逾越”的埃尔德什难题中，有 11 个明确归功于 AI 工具。
“哈佛”渊源
当软件工程师 Neil Simani 将一个 2013 年的未解难题输入 ChatGPT 时，他目睹了它做出了一些极具“人性”的举动：它开始深挖。它找到了一个旧的 Math Overflow 帖，由一位哈佛大学数学家所发。AI 从一个相关（但不同）的问题中抓取了逻辑线索，并将其调整后解决了这个“无解”之谜。
陶哲轩（Terence Tao）——当代数学界的“天花板”级人物——认为 AI 将会解决那些被“忽视”的问题。那些人类觉得过于无聊或乏味的问题。AI 不会觉得无聊，不需要喝咖啡，它只是在成千上万种可能性中不断搜索，直到逻辑走通。
当我们审视这些在纯推理领域的突破时，有一点很明确：数学只是个练兵场。工程和医学领域的实际应用已经近在眼前了。
