陶哲轩警告AI接管数学证明

发生了什么

据虎嗅报道，数学家陶哲轩警告称，2026年AI模型以周为单位攻克悬置数十年的数学难题，导致“证明过剩”危机。他呼吁数学家重新定义自身角色与学科文化，否则数学未来将被科技企业接管。国际数学联盟背书《人工智能与数学莱顿宣言》，超3000人签署以维护自主性。