GoKawiilOpenAI's math proofs leave mathematicians like Duminil-Copin and Strogatz in tears
OpenAI reportedly published hundreds of mathematical proofs over recent months covering number theory, theoretical computer science and logic, some addressing problems unsolved for decades or centuries. Fields Medalist Hugo Duminil-Copin said the work left him crying and feeling his field had been 'annihilated,' while Cornell's Steven Strogatz described mathematicians using phrases like 'strip-mining our subject' to capture their shock.