陶哲轩呼吁数学家迎接 Maths 2.0

菲尔兹奖得主陶哲轩在 Nature 撰文称，AI 已在过去几个月为数百个长期未解的数学问题给出证明，数学家需要数月才能理解这些自动推导的论证。他据此呼吁建立 Maths 2.0 时代。 陶哲轩的说法目前来自其本人撰文，报道未说明这些证明是否经过数学界验证，也未交代涉及哪些具体问题。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。