Researchers Request Verification for OpenAI Mathematics Claims
An unreleased model from OpenAI reportedly solved hundreds of historical mathematical challenges across dozens of draft papers. Mathematicians urge caution because detailed proof steps were published for only a small fraction of the solutions.
