陶哲轩IMO演讲全文：一次性解决一千个问题，AI让数学摆脱蛮力计算
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。 最近，在 IMO 2024 的一场演讲中，陶哲轩全面回顾和展望了计算机与人工智能在数学研究中应用范式的演变。视频链接：，他从早期计算工具讨论到现代机器学习和形式化证明助手的演变过程，还着重介…- 7
- 0
IMO 2024
扫码打开当前页
- ￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×