会懂网AI资讯，9月24日，近日，OpenAI称，一个自8月底开始训练的新内部模型已解决超过100个长期悬而未决的数学开放问题，其中包括千禧年大奖难题之一的Navier-Stokes方程存在性与光滑性问题。这...

会懂网AI资讯，9月21日，近日，数学家陶哲轩代表SAIR Foundation启动开放数学模型计划，推动开放模型与可负担算力成为数学研究的共享基础设施。这反映出人工智能技术正在从单点突破走向系统级能...

会懂网AI资讯，9月11日，OpenAI研究团队报告了在Navier-Stokes方程研究上取得的新进展，他们借助AI方法推进这一被称为世纪难题的流体力学核心问题，展示了机器学习在基础数学与物理难题上日益增...

会懂网AI资讯，9月9日，继Claude尝试攻克黎曼猜想后，OpenAI宣布动用10000个AI智能体协同运行88小时，攻克了一道千禧年大奖相关的数学难题。数学家陶哲轩对此既表达肯定，也提出了担忧。 千禧年...

会懂网AI资讯，9月8日，Anthropic公布，Claude用11天完成费马大定理的形式化证明，这是首个可由计算机完整检查的端到端证明。项目写下约1300万行Lean代码，规模超过Mathlib五倍。 费马大定理由...