陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己
陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己数学大佬陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己。
来自主题: AI资讯
1884 点击 2024-09-02 13:03
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
数学大佬陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己。
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。
陶哲轩最新演讲公开，AI含量爆表。
AI 不是一种“魔法”，有时有点被夸大了。
陶哲轩一场新鲜出炉的演讲，为我们带来了一场干货满满的思想盛宴。
19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。
冲锋在AI辅助数学研究第一线的陶哲轩，近日又有「神总结」：ChatGPT提升的，是我们在编码、图表等次要任务上的能力；而真要搞好数学研究，基础不扎实的话，AI也是没用的。
历经3个月，首届AI奥数竞赛终于公布最终结果了！Gemma 7B只能达到3/50正确率的题目中，第一名的Numina模型居然刷出了29/50的成绩。
在 AI 的帮助下，越来越多的数学问题得到了解决。
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。