陶哲轩：o3-mini纠正了我一个数学错误，十分钟解决原本一小时才能完成的题目

文章预览

白交 发自 凹非寺 量子位 | 公众号 QbitAI 大模型持续震惊科学家！ 以往一小时才能完成的代码，现在十分钟就能实现「生成、测试到得出结果」。 “大模型推广大神” 陶哲轩 又来分享他的亲测体验了。 这一次o3-mini一眼识破并且纠正了他的一个错误，然后在它的帮助下快速完成了一道数学题的解答。 而在另一边，CMU数学教授、美国奥数国家队前掌舵人 罗博深 发现，GPT-o1在卡内基梅隆大学数学本科考试中 获得满分 ，而且每道题的解题时间不超过一分钟。 关键是，他专门设计的是全新的非标准问题，这些问题都是开卷的。 而普通学生的成绩分布be like： 陶哲轩：o3-mini纠正了我的错误 事情是这样的。 他在MathOverflow上遇到了这样一道题，由于答案不是封闭形式的，所以他想近似地模拟他。 首先，他要求o3-mini-high提供一些代码。结果在思考一分12秒 ………………………………