Stanislav Fort @stanislavfort · 11 Aug 2026
I think we moved the bound again on the 17 squares problem Before: 4.445208... -> 4.450837 Now: 4.450837 -> 4.456575 Certificate, 21.7M nodes, checked by exact integer verifiers+CI, but all AI, so double check pls Current bound: s(17) > 4.456575 Repo: https://t.co/BXbYZnRNs1
10 896Views
62Likes
2Reposts
2Replies
1Quotes
17Bookmarks
Is that a lot?
1.00×vs this author's median10 896 views is typical
46Percentile for this authorof 11 recent posts
8.61×vs 10K–100K median1 266 views is typical
63.69%Reachviews ÷ followers
0.61%Engagement rateof viewers reacted