11天，AI 形式化费马大定理

人类给方向，Agent 拆定理，Lean 逐步验算。先打开仓库的 html/index.html，再决定是否承担构建成本。1 2 3

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Comments

1/6

2026-09-10

人类给方向，Agent 拆定理，Lean 逐步验算。先打开仓库的 html/index.html，再决定是否承担构建成本。1 2 3

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.