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