


GPT-5.6: A New Mathematical Breakthrough Is Coming
Sam Altman just teased "GPT-5.6 discovering new math," and AcerFur seems to be pointing in the same direction.
For people who don’t know him: AcerFur is Kevin Barreto, a Cambridge pure math student who has been directly involved in recent AI-math breakthroughs, including work around Erdős problems, Lean-formalized proofs, and AI-assisted number theory. He operated the GPT-5.2 Pro + Aristotle setup behind Erdős Problem #728, described as the first Erdős problem regarded as fully resolved autonomously by AI, and he has also appeared on serious math papers with names like Terence Tao.
So when he says GPT-5.6 is a meaningful jump in math, it’s not just random hype. It’s coming from someone who has actually been testing these models at the frontier.