AI 宣称证明千年数学难题后，数学家该书作者：这是数学的文艺复兴
BachFrancis · x · 2026-10-06
数学出身、现经营 AI 公司的 JP 撰文回应 OpenAI 宣称 AI 解决流体方程奇点这一千年难题引发的震荡：数学系里弥漫的不是庆祝而是眩晕——博士生担心机器周末写完论文，28 位菲尔兹奖得主联署警告「真伪命题的批量生产」可能摧毁新思想的土壤，Tim Gowers 拒签。
作者持柏拉图主义立场提出不同判断：
- 数学是被公理固定的「真之森林」，2500 年来人类靠证明徒步探索，现在有了飞机
- 机器不会终结数学，而会开启文艺复兴：AI 探索森林，数学家成为诠释者与向导，「AI 时代的世俗神学家」
「漫话AGI」频道最新
- AI 找材料 spectacular 结果遭质疑：学术声誉机制失效 — ludwigABAP · 2026-10-06
- arXiv 数论论文致谢 GPT5.6 与 DeepMind 内部智能体,解多道悬而未决难题 — felpix_ · 2026-10-06
- CS 毕业生失业率 7% 超哲学系:「蛛网周期」重演 2003 年剧本 — aakashgupta · 2026-10-06
- 独立开发者构想无公司掌控的本地 Agent「房间」 — RileyRalmuto · 2026-10-06
- AI 开始动捕采集理发师手艺,电工厨师等手艺人会被谁盯上? — Void_x7600 · 2026-10-06
- 推主断言：明年年底前 AI 将逆向所有闭源二进制，专利挡不住 — teortaxesTex · 2026-10-06