MIT Technology Review reported that social media posts had misrepresented claims that GPT-5 solved multiple unsolved mathematical problems, and noted that the startup Axiom later reported AxiomProver had solved two Erdős problems and performed strongly on the Putnam competition.