OpenAI jumps gun on International Math Olympiad gold medal announcement
OpenAI researcher Alexander Wei announced that their AI language model achieved gold medal-level performance on the International Mathematical Olympiad, matching a standard few human contestants reach. The model solved six proof-based problems within human constraints, despite an embargo request from IMO organizers. OpenAI's claim has been questioned as they self-graded their results, but they plan to publish proofs and grading rubrics for review. This achievement differs from previous AI attempts by processing problems as plain text and generating natural-language proofs.
Ars Technica•