No X data
Attack open math problems with 20 parallel agents and Lean proofs
A builder runs up to 20 GPT-powered agent harnesses in parallel on open ErdΕs problems, checking proofs in Lean 4.
Lean 4 use cases
Real things people did with Lean 4, sourced and with recipes.
Use cases
The Daily 5.
Five real AI agent use cases each morning, each with a recipe and a source. Plus a Sunday roundup. Free.