OpenAI’s math solutions aren’t meeting the field’s standards yet
OpenAI this week released hundreds of mathematical proofs claiming to solve major open problems, but several requirements in the AGMAI guidelines from Princeton's Institute for Advanced Study were unmet: of 719 submissions, only 10 included the model's chain of thought, only 42% of proofs went unformalized, and the required machine-readable metadata linking natural language to formal artifacts was not provided.