克雷研究所将 Navier-Stokes 方程状态改为 Active,疑有解了?
felpix_ · x · 2026-09-11
- 克雷数学研究所官网将千禧年大奖难题之一的 Navier-Stokes 方程状态从 Unsolved 改为 Active。
- 状态变更通常意味着有候选证明正在审议中,若最终通过将获得百万美元奖金;具体论文内容暂不明。
「研究」频道最新
- 让果蝇开口说话:脑信号读意图,LLM 替果蝇生成台词 — max_paperclips · 2026-09-11
- GPT-6 Pro 攻 Erdős 问题 #488，产出候选证明并过两道算术验证 — basedjensen · 2026-09-11
- ECCV 2026 现场报告 LoMa 与 RoMa v2，另有海报展示 — ducha_aiki · 2026-09-11
- UMO 统一框架解锁动作基础模型先验，横扫多种人形动作任务 — Michael_J_Black · 2026-09-11
- 首篇AI4AI综述：AI能改进AI，但「组合鸿沟」挡住递归自我改进 — 新智元 · 2026-09-11
- 独立团队内核级复验 OpenAI 纳维-斯托克斯 Lean 证明，四次构建全通过 — pvaa · 2026-09-11