铭鸿体育资讯网

从现有信息看，OpenAI此次宣布攻克纳维-斯托克斯方程千禧年问题，是用约100

2026-09-09 11:50:30 冰毅戏说科技科技

从现有信息看，OpenAI此次宣布攻克纳维-斯托克斯方程千禧年问题，是用约10000个AI智能体协作、耗时约88小时生成证明，还完成了Lean语言的形式化验证，计算成本达1500万至2250万美元。

阅读：0 点赞：0