AI GPT-5.6 and Grok 4.5 independently toppled a 30-year-old math conjecture and neither result is peer-reviewed yet 4 min 559 reads