在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫:AI与数学。所有观察和观点都毫无保留分享:借助AI，可以想象未来可以取一类1000个问题同时处理，你真的可以开始以一种前所未有的规模进行数学研究。
编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
“人工智能已经能够推导公式了，也许过不了两年，世界奥林匹克数学竞赛中，机器就能超越人了。”2024两会期间，中国科学院院士、上海市政协委员、上海科技大学党委书记李儒新接受记者采访时说，美国有个华人数学家陶哲轩，在2023年就不断用AI工具进行数学研究。
随着人工智能的发展，各学科与AI技术的合作为其发展提供了新的思路。在18日举行的上海复旦大学校友会成立四十周年大会暨首届科技文化节开幕式上，三位中国科学院院士与人工智能专家围绕AI与数学、脑科学、生物医药的融合运用展开对话。
·越来越多的数学研究者关注人工智能对该领域的影响，在各种讨论会上辩论，采用不同的AI工具尝试解答数学问题。·数学是机器学习能做什么或不能做什么的试金石。推理是数学过程的精髓，也是机器学习中尚未解决的关键问题。
·从2000年至2022年奥数比赛中抽取的30道几何题中，AlphaGeometry解决了25道。从历史上看，在相同时间内，人类金牌得主平均解决了25.9道。AlphaGeometry团队成员：（左起）Yuhuai Wu、Trieu H. Trinh、Quoc V.
