← Back to live feed1 story
A team of mathematics researchers used the automated theorem prover Lean with AI models Astra and Claude to formally verify the optimal packing of 11 squares, completing a long-term resolution of the geometry puzzle.
Sign in to suggest edits
Key sources
- SOURCEmarketbrief.now