Tag
OpenAI released hundreds of AI-generated solutions to hard math problems, but they fall short of the Advisory Group on Mathematics and Artificial Intelligence's standards, with gaps in formalization, chain-of-thought disclosure, and human understanding, as highlighted by a Cambridge and King's College paper on discrepancies between natural language proofs and Lean code.