The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters. Alina Maria Stan 2d ago