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
Explore this link on the map →related reading
- Mathematics in the Library of Babel - Daniel Littdaniellitt.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
- Computational Complexityblog.computationalcomplexity.org
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- Xena | Mathematicians learning Lean by doing.xenaproject.wordpress.com
- Shtetl-Optimized >> Blog Archive >> Dispatches from the possibly last days of human relevancescottaaronson.blog
- 2510.01346arxiv.org
- Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
- Terence Tao – Kepler, Newton, and the true nature of mathematical discoverydwarkesh.com
- 2310.10631arxiv.org