LINDYProvenOpenAI releases 722 math breakthrough reports as critics question rigorous verificationDongA Science|10/8/2026