Patrycjusz Wyżga @patrycjuszwyzga · 03 Sep 2026
@patrycjuszwyzga @vxel @KinasRemek @andrzejdragan Testowałem ten model i w matematyce to absolutny skok jakościowy. Po raz pierwszy w historii można na bieżąco weryfikować i kompilować dowody w Lean, które pisze model. To początek wielkich zmian w nauce. https://t.co/IqCdJEfHBf
27 838Views
67Likes
7Reposts
2Replies
3Quotes
18Bookmarks
Is that a lot?
5.57×vs this author's median5 001 views is typical
83Percentile for this authorof 12 recent posts
10.8×vs 10K–100K median2 578 views is typical
58.12%Reachviews ÷ followers
0.28%Engagement rateof viewers reacted