Lean
Topic archive • 1 matches
AI-generated: summaries written by AI from the linked sources. How we use AI
2026-10-07
Technology
An AI-assisted proof for the optimal packing of 11 squares has passed formal verification with Lean. The completed EvolvingPrograms verification run accepted all 7,920 local Lean modules, with a final audit reporting zero admissions.
AI Research • Hacker News
Permalink