AI 快讯列表关于 mathlib
| 时间 | 详情 |
|---|---|
|
2026-09-04 18:50 |
Claude完成费马大定理形式化突破
据AnthropicAI称，Claude以1300万行Lean代码完成首个费马大定理形式化。 |