Tag: math proofs

Hugo Duminil-Copin news reveals his heartfelt response to OpenAI’s math proofs, which even woke his daughter.