AI Engineer Says ChatGPT Finished Math Proof

Heinrich Küttler posted that he and a co-author had suspected a mathematical result for several years and had already proven parts of it. Küttler stated that ChatGPT 5.6 Pro identified a neat inequality which reduced the main quantity of interest to something manageable and thereby completed the proof. The remark comes from an AI engineer whose background includes leading supercomputing work at xAI along with prior roles at Inflection, Meta FAIR, DeepMind, and Google.