Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
An AI system that solves open mathematics problems using Lean 4 — every solution kernel-verified and downloadable.
Summary not yet generated for this article.
Comments (81 of ) ⌛