标签 | 数学
共计3篇博客
一万个AI智能体解开千禧年难题！OpenAI烧1300亿token抢跑，数学圈炸了
OpenAI用一万个AI智能体在88小时内解开了90年未解的Navier-Stokes千禧年难题，却引发了与NYU数学家的学术争议。陶哲轩警告AI正在对数学难题进行不可再生式开采。
#AI 工具- OpenAI
- 数学
- Navier-Stokes
- +2
一句「试试黎曼猜想」，Claude把46年的数学进展一个下午推完了
Anthropic的一个工程师随口让Claude试试黎曼猜想，结果Claude一个下午把零点比例从41.6%推到67.2%，超过人类46年的进展总和。
#AI一周记- AI
- 数学
- research
OpenAI 内部版 GPT-6 花 2000 美元解了 10 道数学难题，Fields 奖得主急了
OpenAI发布代号Astra的新模型，花2000美元解了10道困扰人类多年的数学开放难题，全部通过Lean 4形式化验证。3324位数学家联名签署莱顿宣言表达担忧。
- OpenAI
- AI
- Astra
- +2