新闻资讯7

陶哲轩：GPT - 5 Pro中尺度表现拉垮

机器之心2025-10-11

AI 摘要

陶哲轩用ChatGPT - 5 Pro研究曲率有界球面问题，小尺度上AI计算推导出色，中尺度易误导，宏观尺度有辅助。他意识到需专家介入，与AI协作要谨慎。

关注公众号

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

公众号专辑

Claude刷新黎曼猜想研究纪录

A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。

Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。

OpenAI下一代主要模型Astra内部版本在多数学领域给出十项新研究结果，让数学界震动。数学家看法不一，有人惊叹，有人迷茫，还有文章指出这或引发数学学科意义的精神危机。

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