费马大定理的 Lean 4 机器检查完整证明开源发布

《精益4》中的费马大定理

Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明，遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线，以 Apache 2.0 开源。

GitHub 发布 Project HydraFusion 研究预览，用多模型运行时编排降低 Copilot 成本

Project HydraFusion: Frontier quality via multi-model orchestration

GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排，在 Single、Cascade、Critique 三种执行模式间为每个任务选择工作流，以平衡质量、成本和延迟。