Yhn first seen 10 h ago, last 4 min ago, peak #13

AI-assisted proof settles optimal packing of 11 squares

Original: AI-assisted proof of optimal packing for 11 squares

Researchers have published a formalized, AI-assisted proof establishing the optimal packing of 11 equal squares, releasing the work openly on GitHub. The result is drawing attention because it combines machine assistance with computer-checkable formalization, a method increasingly used in mathematics. Commenters are debating how much credit belongs to the AI tools versus the human mathematicians guiding the search and verification process.

Why now: It is a fresh example of AI helping solve a concrete open mathematics problem, with the proof formally verified and openly available.

GitHub11 squares packing problemformal mathematics

Open on hn →

Rank over time, top of the chart is #1. 41 snapshots from 10 h ago to 4 min ago.

Evidence

• AI-assisted proof of optimal packing for 11 squares · bluepeter · 108

API: https://socialmediatrends-api.osmike.com/v1/trends/1371369