编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
鞭牛士 3月4日消息，近日，海豚AI学继在国内火爆之后，在国外也连续获得权威奖项认可。其海外版Leap Math风靡全球，凭借“AI+高质量交互动画”体系化激发学生的学习兴趣，成为2024年该类别全球唯一斩获iF 设计奖的数学智能学习产品。
