Axiom @axiommathai · 03 Sep 2026
The key idea is to construct nested Hilbert spaces with a carefully chosen basis, and then apply Bessel’s inequality. Then the proof can proceed more directly: https://t.co/oYUFGULH4n The new proof has also been formalized in Lean: https://t.co/HPSOpxn1Oe
12 818Views
49Likes
1Reposts
2Replies
2Quotes
0Bookmarks
Is that a lot?
1.48×vs this author's median8 669 views is typical
69Percentile for this authorof 13 recent posts
5.36×vs 10K–100K median2 392 views is typical
79.75%Reachviews ÷ followers
0.42%Engagement rateof viewers reacted