Patrycjusz Wyżga @patrycjuszwyzga · 03 Sep 2026
I tested GPT-Astra on mathematics. It's a quantum leap. You can talk with the model and prove the statements live in Lean. The feeling is absolutely stunning. You can verify your ideas, compile truth. For a mathematician it feels like finally we arrived in the era where we can https://t.co/QVoqpJ67fI
417 629Views
4 343Likes
542Reposts
89Replies
62Quotes
1 334Bookmarks
Is that a lot?
83.5×vs this author's median5 001 views is typical
92Percentile for this authorof 12 recent posts
162×vs 10K–100K median2 578 views is typical
8.7× audienceReachviews ÷ followers
1.21%Engagement rateof viewers reacted