Get the latest tech news
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.
None
Or read this on Hacker NewsRead more on:
Related news:
