sorry

AI颠覆数学研究！陶哲轩借AI破解数学猜想，形式化成功惊呆数学圈 - 币界网

原文来源：新智元 图片来源：由无界 AI生成 陶哲轩呼吁：数学家们一定要学会用AI了 历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究