reasoningfactbullishGPT-5.6 Sol Ultra produced a proof of a 50 year old math conjecture using a publicly available modelNoam Brown28 Jul 2026https://x.com/polynoamial/status/2075646048425431469