Terence Tao published a declaration on Friday signed by 25 Fields medallists, mathematics' highest honour. They say labs rush proofs out as adverts, leaving no time to check or explain them. OpenAI had already dropped its sponsorship of a Caltech contest after hundreds of mathematicians objected.