没有数学家的数学
来源：borretti.me — 2026-08-01
📋 概述
作者针对 OpenAI 宣布用一款尚未发布的模型解决了数学中十个开放问题一事，列出人们将如何自我安慰（cope）的理由，并逐一反驳。他承认自己只对编码理论那一个问题的分量有所判断，但相信可信的数学家判断其重要性。文章旨在帮助读者消化这项技术的深远影响，而非令人沮丧。
🔑 核心要点
- OpenAI 宣布由一款尚未发布的模型解决了十个开放数学问题
- 作者列举诸如“我们会引导 AI”“我们会教授 AI 发现的数学”等自我安慰说辞并加以反驳
- AI 将在品味与直觉上超越人类，人类指方向可能不如直接给证明检查器
- 论点具有可迁移性，可把“数学”换成“植物学”等任何领域
💡 金句
AI 会在品味和直觉上超越人类。某个时刻，人类指路的效果还不如说“这里是证明检查器，随便玩”并为此买单。
👍 0
👎 0
← 返回 Lobsters 首页