相关资讯 3 条

• 海外资讯 2026-09-09 1004

  微软合作项目新进展：AI模型挑战数学极限问题

  OpenAI宣布其AI模型在数学领域取得突破，成功破解一道千禧年难题，引发业界关注。此举或推动AI在科学发现中的应用，同时也引发对AI能力的重新评估。

  阅读全文
• 海外资讯 2026-09-09 1005

  OpenAI 宣称AI攻克纳维

  OpenAI 宣布其多智能体系统解决了纳维-斯托克斯方程存在性与光滑性问题，并已公开论文和 Lean 形式化证明。该成果若获认可，将是 AI 首次解决千禧年大奖难题。同时，与纽约大学研究员的研究优先权争议浮出水面，引发对 AI 科研伦理与学术规则的讨论。

  阅读全文
• 海外资讯 2026-09-09 1003

  AI模型声称破解流体力学世纪难题，机器验证证明长达165页

  OpenAI内部AI模型据称攻克纳维-斯托克斯方程，证明长达165页，经机器验证，动用约1万代理，但尚未获克雷数学研究所认可。

  阅读全文