Navier-Stokes 被忽视的一面:形式化方法正在改变数学证明
ibobev · hn · 2026-09-11
John Cook 博客文章讨论 Navier-Stokes 研究中少有人谈的方面:形式化方法(formal methods)与机器辅助证明正在革新数学工作流,值得结合流体方程这一百年难题的背景阅读。
「研究」频道最新
- 腾讯团队发 HiSTEVE 1.0：纯键鼠操作让 VLA 智能体自主玩 Minecraft — _akhaliq · 2026-10-26
- 上交大提出 VaM：用价值预测作记忆，机器人连续 4 小时自主作业成功率超 95% — chris_j_paxton · 2026-10-26
- 用小开源模型逆向工程游戏二进制:主 agent 中途重写子 agent 的 harness — yb2698 · 2026-10-26
- 作者：盼合同形式化成为连接 AI 与经济学的「MDP 时刻」 — xuanalogue · 2026-10-26
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- ContractSim：首个评估 LLM 自然语言合同谈判的框架 — xuanalogue · 2026-10-26