编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
AI 领域大佬 Gary Marcus 表示，如果能够复现室温超导，那就太令人兴奋了…上个科技界热门话题 ChatGPT 的出品者 OpenAI，他们的 CEO 山姆・奥特曼也在说:现在我们因为可能拥有室温超导而兴奋，全都回来了?
编辑：编辑部【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
看到有很多数学专业的人用自己的亲身经历质疑姜萍。相信从他们的角度来看问题，应该是非常自信自己的观点是正确的。但是，这里可能存在一个误区。有没有一种可能，没有经历传统的中学、大学数学系统学习的人就能真正掌握微积分。答案是肯定的。最著名的例子就是陶哲轩7岁就开始学习微积分。
亲爱的读者，作者收入微薄，不得不在文中加入5秒广告，观看5秒后即可免费阅读全文。写作不易，感谢各位观众老爷的理解与支持！！说到优秀的孩子，你觉得会是什么样的？是从小到大都是“三好学生”的学霸，还是精通琴棋书画的“多才多艺”选手。
在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫:AI与数学。所有观察和观点都毫无保留分享:借助AI，可以想象未来可以取一类1000个问题同时处理，你真的可以开始以一种前所未有的规模进行数学研究。
数学，是研究数量、结构以及空间等概念及其变化的一门学科，属于形式科学的一种。数学利用抽象化和逻辑推理，从计数、计算、量度、对物体形状及运动的观察发展而成。数学家们拓展这些概念，以公式化新的猜想，以及从选定的公理及定义出发，严谨地推导出一些定理。
去年，北大的教授韦东奕刷爆了网络。他不修边幅的外表和骇人的数学成就，让他备受网友的推崇和赞美。据了解他曾在高一和高二时以满分的成绩获得了第49届和第50届国际数学奥林匹克竞赛的金奖，接着被保送北大，然后在28岁的时候成为北京大学助理教授，一度被网友尊称“韦神”。
