What sort of maths are LLMs good at? | Gowers's Weblog
For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…
For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten major problems in mathematics and theoretical computer science, including the first construction of a non-sofic group, and a proof that the multicolour Ramsey number (where there are 3’s) grows superexponentially in . The first was, to judge from various talks I have been to, one of the most important unsolved problems in group theory, and the second was a major open problem in Ramsey theory that I…
saved by
related reading
- Reaping without sowing – Tobias J. Osborne's research notestjoresearchnotes.wordpress.com
- The nature of LLM algorithmic progress (v2) — LessWronglesswrong.com
- LLMs reward expertiseseangoedecke.com
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- The fall of the theorem economydavidbessis.substack.com
- Declaration — Math and AImathandai.org
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- The end of the age of heroessubstack.com
- Look, Mom, I pressed a button!galoisrepresentations.org
- The Unreasonable Effectiveness of LLMs in Mathematicschrishayduk.com