Lijie Chen @wjmzbmr1 · 01 Aug 2026
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann
4 245 811Views
6 672Likes
947Reposts
276Replies
537Quotes
0Bookmarks
Is that a lot?
3.87×vs this author's median1 097 790 views is typical
75Percentile for this authorof 4 recent posts
1 546×vs 10K–100K median2 747 views is typical
409.9× audienceReachviews ÷ followers
0.20%Engagement rateof viewers reacted