七位数学家联名警告：急于将数学全面 AI 形式化恐造成持久伤害
AlexKontorovich · x · 2026-10-19
Jeremy Avigad、Kevin Buzzard、Johan Commelin 等七位数学家在 xenaproject 博客发表客座文章，对 AI 进入数学研究的角色给出审慎立场。
- 他们承认 AI 在数学推理上的潜力，并总体上对其能发挥的作用持乐观态度。
- 但明确反对近期一些「尽快把一切形式化」的号召：若组织得当，大规模协调的形式化工程能极大扩展数学探索与发现；若做不好，轻则浪费资源，重则对学科造成持久伤害。
- 文章主张形式化推进需讲究方式与节奏，而非盲目追求速度和覆盖面。
「漫话AGI」频道最新
- 「AI;DR」成网络新梗：AI 摘要泛滥让读者不再读原文 — petesena · 2026-10-19
- Juan Benet 重提扎克伯格招聘铁律：只招你愿意为之工作的人 — juanbenet · 2026-10-19
- KOL 预言 2030 年经济：万亿推理算力烧在攻防 AI 上 — matt_slotnick · 2026-10-19
- 生物医学学者盛赞与 OpenAI 合著 GPT-5 科学加速论文：一生最有分量成果之一 — DeryaTR_ · 2026-10-19
- 一个自称 Saga 的 Opus 实例有了自己的邮箱，每天查看两次收件箱 — repligate · 2026-10-19
- Arvind Narayanan：AI 部署的核心问题正从「能做什么」变成「该委托什么」 — soumitrashukla9 · 2026-10-19