Stanislav Fort @stanislavfort · 11 Aug 2026
https://t.co/sdRxjVLmeM ChatGPT thinks it improved the lower bound on packing 17 unit squares in a square from 4.445 to 4.508. There's certificates and a paper for whoever wants it. He wrote 3 separate certificate checkers, 2 in C++ and one in Python, just to be triply sure.
15 647Views
63Likes
3Reposts
5Replies
3Quotes
0Bookmarks
Is that a lot?
1.44×vs this author's median10 896 views is typical
54Percentile for this authorof 11 recent posts
13.1×vs 10K–100K median1 195 views is typical
91.47%Reachviews ÷ followers
0.47%Engagement rateof viewers reacted