Lisan al Gaib @scaling01 · 03 Sep 2026
New OpenAI repo with a Lean formalization by GPT-6-Astra proves that there are infinitely many pairs of consecutive primes whose distance is at most 186 https://t.co/kegFNJKQrq https://t.co/bc8k6H1OdX
285 592Views
1 525Likes
120Reposts
35Replies
46Quotes
266Bookmarks
Is that a lot?
17.2×vs this author's median16 612 views is typical
94Percentile for this authorof 18 recent posts
84.4×vs 10K–100K median3 383 views is typical
5.0× audienceReachviews ÷ followers
0.60%Engagement rateof viewers reacted