Story
What sort of maths are LLMs good at?
1 report
1 website
1 discussion
Latest report
Overview
OpenAI has solved ten significant problems in mathematics and theoretical computer science, including the construction of a non-sofic group and a proof regarding the superexponential growth of the multicolour Ramsey number. These achievements demonstrate the capabilities of large language models (LLMs) in tackling complex mathematical challenges.
Summary from gowers.wordpress.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
gowers.wordpress.com
What sort of maths are LLMs good at?
Read report →
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · gowers.wordpress.com
Historical count: 5 · 5 saved in sample · Historical sample
Analysis ready
Read this discussion’s reaction
Based on 5 sampled comments from this thread. Analyzed 2026-08-12.
- Praise: LLMs are showing signs of reaching human-level capabilities in solving complex mathematical problems, which could redefine our understanding of machine intelligence.
- Praise: The ability of models like AlphaCode to generate and filter candidate programs demonstrates that AI can outperform humans in certain programming tasks, highlighting its potential.
- Praise: There's a fascinating parallel between how humans and LLMs approach complex mathematics, suggesting that AI might one day grasp concepts we deem difficult.
- Concern: Skeptics argue that any new mathematical theorems produced by LLMs are likely to be overly complex and not as elegant as human discoveries.
- Concern: Some commenters doubt that LLMs can truly innovate in mathematics, suggesting they mainly 'brute force' solutions rather than create beautiful or surprising proofs.
- Concern: There's a sense of skepticism about the limitations of LLMs in grasping deeper mathematical concepts without substantial training, indicating they still have a long way to go.