AI 大规模证明定理引争论：人类看不懂还算数吗

斯坦福教授 Anshul Kundaje 提出，如果 AI 一天自主证明数百万个定理却无人能理解、人类逐渐丧失理解能力，这些成果的意义存疑。sytelus 发长文反驳：数学是普世的，不为满足人类理解而存在，公理体系下的证明强制你接受真理；他还指出人类大脑根本性受限，如费马大定理的证明已需 5 年以上专门学习才能理解，按现有速度人类理解力存在天花板。

2026-09-13 ~ 2026-09-13 · 3 条相关