Navier-Stokes 被忽视的一面:形式化方法正在改变数学证明
ibobev · hn · 2026-09-11
John Cook 博客文章讨论 Navier-Stokes 研究中少有人谈的方面:形式化方法(formal methods)与机器辅助证明正在革新数学工作流,值得结合流体方程这一百年难题的背景阅读。
「研究」频道最新
- CAROT 用最优传输做词级跨语言对齐,多语言任务精度最高提升 11.2 点 — Bollegala · 2026-09-11
- 让果蝇「写字」:神经信号驱动前腿生成手写字体 — dejavucoder · 2026-09-11
- 斯托克斯定理在 Lean 4 中完成形式化,含 d²=0 证明 — basedjensen · 2026-09-11
- Reddit 网友发问：为何没有面向 Agent 运行时而非模型的基准测试？ — Balance- · 2026-09-11
- 西班牙开发者将 PISA 数据预处理成 AI Agent 可直接分析的开源数据集 — pelayoarbues · 2026-09-11
- 小鹏开源X-AuT:渐进式剪枝压缩语音LLM音频编码器 — XPENG-AI · 2026-09-11