Kevin Buzzard personal blog
Formalising modern research mathematics in real time
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griffiths, Morris, and Sahasrabudhe appeared on the arXiv, announcing an exponential improvement to the upper bound on R…
- Points
- 111
- HN comments
- 16
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsAI & Machine Learning2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 5, 2023 | Formalising modern research mathematics in real time by mauricioc | 111 | 16 |
