“If a human did this, it would be an instant Fields Medal, no questions asked.” OpenAI recently released 350+ proofs of mathematical theorems, all in one go. “I imagine many mathematicians, like me, felt like they got punched in the stomach yesterday,”