OpenAI 的数学声明暴露了 AI 的验证瓶颈
有关 OpenAI 模型解决重大数学问题的报道指向一个更深层的问题：生成证明越来越便宜，而验证、归属和发表仍以人类速度推进。
最新
全部文章
OpenAI 的 Astra for Law 是法律 AI 系统，而非新模型
OpenAI 的法律领域发布，重点不在于新的基础模型，而在于围绕模型构建的系统：领域检索、可信工具、权限、基准测试和审查路径。
OpenAI 的 Navier–Stokes 证明主张，一文读懂
OpenAI 称，AI agent 找到了一个 Navier–Stokes 奇点，并用 Lean 形式化了证明。更难的故事在后面：审查、署名，以及私有 agent 集群在数学中的力量。