OpenAI 使用比 Astra 显著更强大的模型解决 Naiver-Stokes 方程 | 根据 Axios 和 Chubby 在 Twitter 上的消息

Reddit r/singularity 2026/09/08 18:22 新闻

openai ai-model navier-stokes mathematics scientific-news twitter-report

摘要

根据 Axios 和 Chubby 在 Twitter 上的报道，OpenAI 使用了一个能力超越 Astra 的模型来解决 Navier-Stokes 方程。

暂无内容

查看原文

相似文章

X AI KOLs

OpenAI 宣布使用一个比 GPT-6 Astra 更强大的下一代 AI 模型，解决了 Navier-Stokes 千禧年大奖难题。

TechCrunch AI

OpenAI 已发布 Astra，其最新且最强大的 AI 模型，以其强大的网络安全和编码能力而闻名，但也因其不透明的推理技术而具有争议性。

TLDR AI

OpenAI 未发布的模型 Astra 据称解决了十大开放数学难题，结果已通过 Lean 证书形式化验证，标志着 AI 数学推理能力的重大飞跃。

X AI KOLs Following

据报道，OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学和理论计算机科学领域的 10 个重大开放问题，标志着科学推理领域的重大进展。

The Verge

OpenAI声称使用先进的AI模型解决了Navier-Stokes千禧年问题，这引发了关于与NYU和Anthropic的独立研究人员之间潜在数据访问问题的争议。