新闻资讯8

陶哲轩联手GPT-5，1小时攻克数学难题

新智元2025-10-04

AI 摘要

陶哲轩与GPT - 5联手，1小时攻克MathOverflow难题。先让GPT - 5生成代码遇问题，后分步对话找参数并验证。AI帮他纠错、省时间、优化流程，展现其在数学研究的巨大潜力。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

AI进入第二序章，远未到下半场

本文是甲子光年九周年纪念文章，作者甲小姐通过两个核心行业数据，提出AI刚进入“第二序章”远未到下半场，拆解八大核心问题，纠正当前市场的两种极端判断。

本文围绕AI普及后知识成本下降、学历信号弱化的现状，引用经济学教授杰森的最新论文，分析大学核心价值与AI冲击逻辑，给出转型方向，并探讨中国高校的应对思路。

OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。

本文报道OpenAI一次性放出722篇AI生成的重大数学难题证明，引发全球数学界震动，美国CS教授称其为数学末日，数学家联合抵制OpenAI，学界观点撕裂，揭露了AI给数学界带来的巨大冲击和争议。