Yhn first seen 5 h ago, last 8 min ago, peak #13

AI-assisted proof of optimal packing for 11 squares

A new GitHub project presents an AI-assisted proof showing the optimal packing arrangement for 11 equal squares. The work combines machine learning search with formal verification, making it easier to trust the result. Commenters are discussing how AI tools are increasingly able to contribute to serious mathematical results that had resisted classical approaches.

Why now: Interest in how AI tools are now helping solve long-standing combinatorial geometry problems

11 squares packing problemGitHubformal verification

Open on hn →

Rank over time, top of the chart is #1. 23 snapshots from 5 h ago to 8 min ago.

Evidence

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

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