2026-07-27 09:13:39
数学家陶志明警告:数学正面临“证明过剩”危机,因为 AI 已解决了 10 个研究问题中的 7 个
根据国际数学家大会(ICM)上数学家陶志明的说法,数学之所以因研究方法与价值观而面临一场基础性危机,是因为 AI 系统现在能够以每题 10 到 1,000 美元的成本解决研究级数学问题。First Proof 的测试显示,AI 系统在 10 个全新研究问题中解决了 7 个达到可发表质量的结果,这将数学从“证明稀缺”转向“证明丰裕”。陶强调,关键能力将不再是率先解决问题,而是评估结果的重要性、清晰阐释证明,并将其转化为人类可共享的理解。