新闻资讯7

陶哲轩：Copilot复杂证明不靠谱

新智元2025-05-22

AI 摘要

陶哲轩用GitHub Copilot挑战「ε - δ」极限证明，加法较顺利，减法卡壳，乘法彻底乱套。他认为复杂证明靠人脑，Copilot适合辅助做重复格式化工作。

关注公众号

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

公众号专辑

微软开源 Skill 神器，让 AI 学会干活

近期微软开源桌面应用 `Skill Recorder`，1个多月揽3K star。它能录屏幕操作，借助 GitHub Copilot CLI 生成可复用 Skill 或 Automation，与 RPA 思路不同，有泛化能力，可按命令快速安装。

OpenAI宣称其下一代AI模型推翻了Connes刚性猜想，第二天堪萨斯大学的J. L. Nielsen就发文回应，指出AI构造的群不满足附加条件，还逐行核对代码指出‘要证什么’有问题，强调人类审查对AI科研结果很关键。

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。