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 on AI in academiatheinfinitesimal.substack.com
- The fall of the theorem economydavidbessis.substack.com
- Google "We Have No Moat, And Neither Does OpenAI"semianalysis.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- Enough with all the world-historic milestonesscottaaronson.blog
- statement.pdfcims.nyu.edu
- [2608.02859] The crisis of AI-generated mathematicsarxiv.org
- rsrch spacersrch.space
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Mathematicians may be worried, but AI-for-science is going to be great, recursively self-improving, and we’re going to learn loadssimondedeo.com
- The AI math breakthroughs keep coming...youtube.com