Viewing profile — mufthun
mufthun
HN member- Joined
- Mon, May 26, 2025, 6:57 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mufthun
No profile information was provided.
Recent public activity
-
comment
Comment #44100486
You can literally watch Terrence Tao stream himself formalizing existing proofs that he already formalized before.