AI颠覆数学研究!陶哲轩借AI破解数学猜想,形式化成功惊呆数学圈 关键词: AI数学,AI工具辅,陶哲轩 历时三周,陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具,网友惊呼:以后的数学论文不需要人类可读了? 来自主题: AI资讯 3472 点击 2023-12-06 14:50