@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
@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.
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.
Solving math word problems
OpenAI trained a system using verifiers to solve grade school math word problems with 90% of child-level accuracy, nearly doubling fine-tuned GPT-3 performance. The approach addresses language models' weakness in multistep reasoning by training verifiers to evaluate candidate solutions and select the best one.
ChatGPT's image model is better at math than most people
The article highlights that ChatGPT's image model demonstrates superior mathematical reasoning capabilities compared to most humans.
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.