TechnologyAI Models Claimed to Disprove a 30-Year-Old Maths Conjecture — Now Its Creators Are Checking the Proof By Danish Mumtaz October 31, 2026