新闻资讯8

陶哲轩：白宫砍经费，美国科研命脉被断！

新智元2025-08-19

AI 摘要

陶哲轩称，25年科研生涯从未如此沮丧。白宫切断经费，让UCLA等科研机构‘断粮’。美国科研体系半年内遭重创，项目中断、数据消失，政府无视科学，长此以往科研必受重挫。

关注公众号

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

公众号专辑

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变化和“证明过剩”问题，还给出应对之策。