AIGC动态欢迎阅读
原标题：陶哲轩：AI时代，数学
研究将进入前所未有的规模
关键字：问题,数学,计算机,机器,定理文章来源：人工智能学家
内容字数：0字内容摘要：
来源：量子位编辑：西风
陶哲轩最新演讲公开，AI含量爆表。
在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫：AI与数学。他怎么看AI和数学的关系？怎么理解机器学习、大模型等在数学领域的应用与发展？
所有观察和观点都毫无保留分享：
借助AI，可以想象未来可以取一类1000个问题同时处理，你真的可以开始以一种前所未有的规模进行数学研究。除此之外，“陶神”还由古至今讲述了机器辅助计算的传统与演变。
AI等一系列机器在数学研究中的妙用并非空口无凭：
毕达哥拉斯三元数组的问题只能使用计算机解决
开普勒猜想最终也是借由计算机辅助证明
机器学习在纽结理论中的应用：已经能够帮助猜测两种不同统计数据之间的联系
他本人还透露，自己用GPT-4找解题灵感；用GitHub Copilot辅助证明，大概有20%概率，它能写出接近正确的下一步证明。
不光是在演讲中讲AI，陶哲轩最近发布的几个帖子也都和AI息息相关。网友纷纷安利：
他没有支持或反对AI炒作，而只是理性开放地评估了这些工具及其能力，还有未来可能发生的事。量子位在不改变原意的基础上，对“陶神”这次最新的演讲内容进行了编译整理联系作者
文章来源：人工智能学家
作者微信：
作者简介：
