Reaping without sowing – Tobias J. Osborne's research notes
If you are at all connected with academic circles it would have been hard to miss the announcement: OpenAI has just published Ten advances in mathematics, ten results in mathematics and theoretical…
Reaping without sowing – Tobias J. Osborne's research notes Uncategorized Reaping without sowing Published by tobiasosborne on August 2, 2026 If you are at all connected with academic circles it would have been hard to miss the announcement: OpenAI has just published Ten advances in mathematics , ten results in mathematics and theoretical computer science, author listed simply as “OpenAI”, accompanied by Lean certificates on GitHub , and, per Noam Brown, a token bill of under $2K for the lot (pretty cheap huh?). Sphere packing, non-sofic groups, a counterexample to Conne
saved by
related reading
- What sort of maths are LLMs good at?gowers.wordpress.com
- Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- The fall of the theorem economydavidbessis.substack.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- As Rocks May Think | Eric Jangevjang.com
- Computational Complexityblog.computationalcomplexity.org
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- principia labsprincipialabs.org
- [2602.05192] First Proofarxiv.org
- Declaration — Math and AImathandai.org