I Vibed a Proof of Conway's Conjecture

Automated excerpt

A “Lean” agent works to formalize the merged mathematical work in Lean. Claude continued doing the Lean formalization of results so far. The first Lean agent would work solely on certifying the underlying papers.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.