1
A recent experience with ChatGPT 5.5 Pro
We are all having to keep revising upwards our assessments of the mathematical capabilities of large language models. I have just made a fairly large revision as a result of ChatGPT 5.5 Pro, to whi…
Timothy Gowers
Mathematics related discussions
- Popular posts
- 13
- Total points
- 3,081
- HN comments
- 2,111
- Rank
- #458 personal
Visit gowers.wordpress.com → RSS feedOn Hacker News Jan 2012 – Sep 2026
Math & Algorithms 12Society, Policy & Culture 8AI & Machine Learning 3Life, Learning & Writing 1
2
What sort of maths are LLMs good at?
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…
3
An automatic theorem proving project
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…