Tony Feng 谈数学'正确性'：本质是专家间能否互相说服
littmath · x · 2026-09-18
数学家 Tony Feng 回应一位代币持有者对其文档的争议，借此引出对数学'正确性'的深层思考。
他指出：数学基于普适的演绎规则，但现代数学如此复杂，推导过程被高度压缩，事实上的'正确'已变成'一位人类专家能说服任何另一位人类专家'。这一观察对 AI 参与数学证明的可靠性判定有直接启示——当机器生成超长证明时，人类专家互验机制可能失效。
Feng 同时表示愿意查看对方 9 月 15 日的版本，并称从其他提交中学到过有趣的东西。
「漫话AGI」频道最新
- banteg 转引长文批 AI safety 圈:长期主义道德数学是自大妄想 — banteg · 2026-09-18
- banteg:长期主义道德数学经不起普通贴现率检验 — banteg · 2026-09-18
- Ben Recht 撰文反思「AI 公司对数学的征服」与纯数学的应用价值 — beenwrekt · 2026-09-18
- Kevin Roose 联手 NPR 推出 AI 播客《Machine Gods》 — kevinroose · 2026-09-18
- 1300 名 AI 员工联署呼吁「减速前沿 AI」,内部动机却南辕北辙 — chalmermagne · 2026-09-18
- 观点:评测决定产品形态,训练只是放大器 — yunta_tsai · 2026-09-18