Story
AI-assisted proof of optimal packing for 11 squares
1 report
1 website
1 discussion
Latest report
Overview
The complete optimality proof passed verification with native numerical certificates. The completed EvolvingPrograms verification run accepted all 7,920 local Lean modules, and its final audit reports zero admissions. This repository imports those exact proof sources and pinned build configuration from commit 1bf942a7af1ea330e95489d8997deebd4227ca71 . See the verification report for evidence and s...
Summary from github.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · github.com
Hacker News discussion ↗
Historical count: 11 · 11 saved in sample · Historical sample
Awaiting analysis