
AI颠覆数学研究!陶哲轩借AI破解数学猜想,形式化成功惊呆数学圈
AI颠覆数学研究!陶哲轩借AI破解数学猜想,形式化成功惊呆数学圈历时三周,陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具,网友惊呼:以后的数学论文不需要人类可读了?
来自主题: AI资讯
3818 点击 2023-12-06 14:50
历时三周,陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具,网友惊呼:以后的数学论文不需要人类可读了?
随着人工智能技术的不断发展,AI工具开始进入普通人的生活场景。近日,中国青年报·中青校媒面向全国高校学生发起关于AI工具使用的问卷调查,共回收有效问卷7055份。调查结果显示,84.88%受访者曾使用过AI工具,其中16.30%受访者经常使用AI工具,57.49%受访者偶尔使用,19.43%受访者基本不用。