DC娱乐网

OpenAI用约1万个并发Agent、88小时找到Navier–Stokes方程

2026-09-11 10:22:15 文岛戏说科技科技

OpenAI用约1万个并发Agent、88小时找到Navier–Stokes方程的疑似奇点证明，还让GPT-6 Astra用17小时完成Lean形式化，目前该证明仍需数学界审查。

阅读：0 点赞：0