Viewing profile — rndnumthy
rndnumthy
HN member- Joined
- Wed, May 01, 2024, 4:26 AM UTC
- HN karma
- 10
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About rndnumthy
No profile information was provided.
Recent public activity
-
comment
Comment #40219593
PDF slides from the talk where the project was launched: https://math.mit.edu/~drew/vantage/BuzzardSlides.pdf
-
comment
Comment #40219500
What I really like is that this project will not blindly formalize the proof from the 90's. Instead they take a SOTA approach, streamlining and optimizing many parts of the proof. …