【新智元导读】19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。谷歌DeepMind正在做的，是要打造出世界上最强的AI数学家。Perple
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
今年四月在加州大学洛杉矶分校，当学生们在数学家陶哲轩教授办公室外的校园街道漫步时，他正在简朴的办公室里思考水自发爆炸的可能性。一系列被广泛使用的方程式描述了水等流体的状态...
OpenAI连更两弹，又将o1模型推向全网最高潮。就连奥特曼本人激动地预告，「迫不及待期待着下周的Day3发布，感觉周一是那么地遥远」。他加入OpenAI之前，曾是ConvergentResearch的创始人、风险投资人和合伙人;在那里，他帮助创办了多个「登月」科学组织，包括LeanFro。
陶哲轩成功利用AI工具形式化了多项式Freiman-Ruzsa猜想的证明，这一成果引起了数学界的广泛关注。他在博文中详细记录了使用Blueprint在Lean4中形式化证明的过程。这一成果展示了形式化在主流数学中的受关注程度，为未来的数学研究指明了可能的方向。
由+ChatGPT+掀起的+AI+热潮，在经过+GPT-4的震撼发布后，又被推至新的巅峰——不仅引起业界无数人的关注，如今还“出圈”成为了数学天才陶哲轩喜爱的+AI+工具之一。陶哲轩在开源社交平台+Mastodon+上发文:“今天，我可以明确地说:GPT-4确实为我节省了大量繁琐的工作。不问我也知道如何做，但这可能需要半小时使用+ChatGPT+大约需要5分钟。
数学大佬陶哲轩力荐，哈佛反向学习法火了:教会AI就是教会自己。他最新分享了哈佛应用数学和应用物理学教授MichaelP.Brenner的一个教学方法——利用提示工程，让学生尝试教AI完成平时数学作业，期末再让这些AI参加考试。课程介绍是酱婶儿的:简单说，就是在学习烹饪的过程中了解科学原理，诸如分子如何影响风味、热量在烹饪中的作用……且特别强调，做出来的东西要能吃。
近几个月来，著名数学家陶哲轩一直尝试用ChatGPT等大模型AI工具来辅助解决数学问题，并与大家分享结果、交流心得，比如用ChatGPT写代码、证明数学定理、生成LaTeX表达式程序代码等。对于自己的研究以及人们来说，GPT等AI工具的作用究竟大不大呢?近两天，陶哲轩似乎得出了他的结论。当然陶哲轩也同意对公众展开AI教育以及进行独立的输出验证，这些都会成为现代世界越来越重要的技能。
陶哲轩可太喜欢GPT系列大语言模型了!近几个月来，著名数学家陶哲轩热衷于用ChatGPT、GPT-4等AI工具辅助解决数学问题。我们也一直在持续地关注，这不今天又看到了他使用GPT-4来帮助自己证明数学定理。还有人问陶哲轩，「如果让你猜的话，LLM需要多少年才能拥有超越全人类的写证明能力呢?」看来，要想回答这个问题，陶哲轩的大模型试验之旅还将继续下去。
GitHubCopilot，又一次被数学大神陶哲轩“点名”了:并且陶哲轩还给出了一个具体的案例做阐述。例如在上面这个例子中，陶哲轩先是将一个积分分成了三块。这篇文章对于理解非负量的和或积分的估计方法以及它们在各个领域中的应用具有重要意义。
【新智元导读】冲锋在AI辅助数学研究第一线的陶哲轩，近日又有「神总结」:ChatGPT提升的，是我们在编码、图表等次要任务上的能力;真要搞好数学研究，基础不扎实的话，AI也是没用的。使用ChatGPT一年半了，陶哲轩的感想如何?最近，一直冲锋在探索AI辅助研究功能前线的数学大神陶哲轩，总结了ChatGPT对自己数学研究过程的帮助。大神毕竟是大神，陶哲轩很快又再一次跑通了�
陶哲轩领衔的一份62页报告出炉了，总结和预测了AI对半导体、超导体、宇宙基础物理学、生命科学等领域带来的巨大改变。如果这些预测在几十年后能够实现，美国酝酿的AI「登月计划」就将成真。策划高质量和广泛可用的数据集，是无法通过传统研究生产力指标得到充分认可的。
