全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
来自主题: AI技术研报
8924 点击 2025-05-12 12:24
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。这才几天的时间，这个估计验证工具的 2.0 版本就来了！
这个五一假期，世界顶级数学家是如何度过的？
57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
能拿下数学奥赛银牌水平的AI是否达到了12岁陶哲轩的水平？ 陶神本人的回答来了
好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。
数学大佬陶哲轩力荐，哈佛反向学习法火了：教会AI就是教会自己。
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。
陶哲轩最新演讲公开，AI含量爆表。
19秒破解几何难题，谷歌AI夺得IMO银牌在业界掀起了巨震。就连菲尔兹奖得主陶哲轩，前IMO美国队负责人罗博深都对此大加赞赏。更有AI大佬高调预测，若谷歌继续加码研究，应该可以造出一个「AI陶哲轩」。