Hacker Neus
AI-assisted proof of optimal packing for 11 squares
(github.com)
99 points
by bluepeter
8 hours ago |
46 comments
