Mathematicians scrutinise AI proofs said to topple a pillar of complexity theory https://ochtendkrant.be/en/2026-10-28/eth-refuted