OpenAI’s math solutions aren’t meeting the field’s standards yet

OpenAI released hundreds of solutions to difficult math problems but did not fully meet standards set by the Advisory Group on Mathematics and AI, especially regarding human understanding and formal proof verification. Only a fraction of proofs were formalized or included detailed model reasoning, raising concerns about the reliability and transparency of these AI-generated mathematical results.