@RayFernando1337: Help needed: math expert to verify the problem is solved.
Summary
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.
View Cached Full Text
Cached at: 06/27/26, 05:51 AM
Help needed: math expert to verify the problem is solved.
Kyle Kabasares (@kylekabasares): I may have gotten @OpenAI’s ChatGPT-5.5 Pro to produce a candidate counterexample to an open problem from Don Knuth’s The Art of Computer Programming.
Exercise 210 in Volume 4, Fascicle 8A (https://t.co/aAj3vppEsm, page 55) asks a question about generating-function denominators
Similar Articles
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
Terrence Tao shares a ChatGPT conversation exploring a counterexample to the Jacobian conjecture, demonstrating AI-assisted mathematical reasoning.
@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.
Human mathematicians are being outcounterexampled
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.
@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.
A recent experience with ChatGPT 5.5 Pro
Mathematician Timothy Gowers recounts how ChatGPT 5.5 Pro produced PhD-level mathematical research in about an hour with minimal human input, solving open problems from a combinatorics/additive number theory paper and prompting him to significantly revise his assessment of LLMs' mathematical capabilities.