陶哲轩在2024年国际数学奥林匹克(IMO)的演讲:AI 与数学

38.0万
308
2024-08-27 12:01:56
7825
2343
1.3万
1624
在英国巴斯举行的第65届IMO上,陶哲轩介绍了计算机和AI在数学研究中的应用。他讨论了从早期计算工具到现代机器学习和形式证明助手的发展,重点介绍了最近的突破和正在面对的挑战。陶哲轩强调,尽管AI在数学领域变得越来越有用,但人类的洞察力和创造力仍然是取得有意义进展的关键。
接下来播放
自动连播
客服
顶部
赛事库 课堂 2021拜年纪