@OpenAI: Meet Bartosz (@nasqret). A mathematician solving previously unsolvable math problems with GPT-5.6
Summary
A mathematician named Bartosz uses OpenAI's GPT-5.6 to solve previously unsolvable math problems.
View Cached Full Text
Cached at: 07/09/26, 09:42 PM
Meet Bartosz (@nasqret).
A mathematician solving previously unsolvable math problems with GPT-5.6 https://t.co/dwm5djE8Lr
Similar Articles
@rohanpaul_ai: A mathematician using GPT-5.6 to solve math problems once thought out of reach. "I just run CodeX to do all this explor…
A mathematician uses GPT-5.6 and CodeX to solve previously intractable math problems, significantly speeding up exploration and technical work.
@wtgowers: I've recently got in on the act of getting AI to solve open problems in mathematics. More precisely, I gave some questi…
Tim Gowers reports using ChatGPT 5.5 Pro to attempt to solve open mathematical problems posed by Melvyn Nathanson.
Meet a mathematician solving previously unsolvable math problems with GPT-5.6
A mathematician used Codex 5.6 to successfully disprove an algebraic surface conjecture that had taken him three years to try to prove. The model can automatically spawn sub-agents to handle heavy computations, allowing him to focus on difficult problems and life.
@LiorOnAI: GPT-5.6 Sol may have solved a 50-year-old math problem using 64 subagents in parallel. The system did not rely on one l…
GPT-5.6 Sol reportedly solved a 50-year-old math problem by using 64 subagents in parallel, potentially changing R&D economics if verified.
@RayFernando1337: Help needed: math expert to verify the problem is solved.
Kyle Kabasares claims to have used OpenAI's ChatGPT-5.5 Pro to generate a candidate counterexample to an open problem from Don Knuth's The Art of Computer Programming, and requests verification.