@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…
Summary
A mathematician uses GPT-5.6 and CodeX to solve previously intractable math problems, significantly speeding up exploration and technical work.
View Cached Full Text
Cached at: 07/09/26, 11:53 PM
A mathematician using GPT-5.6 to solve math problems once thought out of reach.
“I just run CodeX to do all this exploration and all this technical stuff that otherwise it would take me weeks.”
Bartosz (@nasqret).
https://t.co/zTwYofvQ6R
Similar Articles
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.
@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.
@SebastienBubeck: https://x.com/SebastienBubeck/status/2075596982622835006
GPT-5.6 significantly outperforms published state-of-the-art on a fundamental mathematical problem about gradient flow length, achieving exponential improvements. This marks a major advance in AI's ability to reason about complex mathematical questions.
@OpenAI: Meet Bartosz (@nasqret). A mathematician solving previously unsolvable math problems with GPT-5.6
A mathematician named Bartosz uses OpenAI's GPT-5.6 to solve previously unsolvable math problems.
@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.