10,000代理解决纳维-斯托克斯方程耗时88小时
lean-形式化2026年9月9日，OpenAI宣布通过10,000个自主代理在88小时内解决了克莱数学研究所的纳维-斯托克斯方程难题。这一成果展示了分布式架构在数学证明中的潜力，但同时也引入了新的基础设施约束，如能源消耗和Lean形式化验证的瓶颈。
Read Report →
// X_CASE_LAB // DOSSIER →
-
[FIELD AUDIT]> 印度的“中国加一”悖论：崛起、约束与外部冲击 (1 min read)
-
[FIELD AUDIT]> 洛比托港：26年220万吨，吃水限制阻碍非洲走廊 (1 min read)
-
[RESEARCH]> 智利锂盐提锂撤资5.23亿美元，原因不明 (1 min read)