{"type":"analysis","id":"analysis:research-openai-s-719-math-manuscripts-are-mostly-unverified-and-early-expert-checks","slug":"research-openai-s-719-math-manuscripts-are-mostly-unverified-and-early-expert-checks","title":"OpenAI's 719 math manuscripts are mostly unverified, and early expert checks show both real advances and real errors","description":"OpenAI's GitHub release includes some results that experts take seriously, such as the Unique Games proof. But a sign error withdrew three papers, some Lean formalizations prove weaker statements than the papers claim, and OpenAI's own figure puts formalized top-line results at only about 42%.","published_at":"2026-10-22T06:00:00.000Z","updated_at":"2026-10-22T06:00:00.000Z","record_date":"2026-10-22","topics":["openai","github","prompts","research"],"source_urls":["https://github.com/openai/math","https://github.com/openai/math/blob/main/CONTENTS.md","https://github.com/openai/math/blob/main/history.md","https://retractionwatch.com/2026/10/08/openai-withdraws-preprints-722-manuscripts-unsolved-math-problems/","https://scottaaronson.blog/?p=10169","https://arxiv.org/abs/2610.08144","https://www.quantamagazine.org/updates/transformation/","https://decrypt.co/380366/openai-secret-ai-model-cracked-hundreds-math-problems-one-prompt","https://arxiv.org/abs/2608.14673"],"language":"en","routes":{"html":"https://newruntime.com/analysis/research-openai-s-719-math-manuscripts-are-mostly-unverified-and-early-expert-checks/","markdown":"https://newruntime.com/analysis/research-openai-s-719-math-manuscripts-are-mostly-unverified-and-early-expert-checks.md","json":"https://newruntime.com/analysis/research-openai-s-719-math-manuscripts-are-mostly-unverified-and-early-expert-checks.json"},"author":{"role":"author","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"editorial_provenance":{"desk":"authorial","target_ref":"deep_research:a5274f49-d76d-4594-b383-441c3d580903","authorial_article_id":"a5274f49-d76d-4594-b383-441c3d580903"},"next_reads":[{"type":"topic","path":"/topics/openai/","url":"https://newruntime.com/topics/openai/","title":"Openai","reason":"Explore the openai topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/openai.md","json_url":"https://newruntime.com/topics/openai.json"},{"type":"topic","path":"/topics/github/","url":"https://newruntime.com/topics/github/","title":"Github","reason":"Explore the github topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/github.md","json_url":"https://newruntime.com/topics/github.json"},{"type":"topic","path":"/topics/prompts/","url":"https://newruntime.com/topics/prompts/","title":"Prompts","reason":"Explore the prompts topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/prompts.md","json_url":"https://newruntime.com/topics/prompts.json"},{"type":"collection","path":"/analysis/","url":"https://newruntime.com/analysis/","title":"Analysis","reason":"Open the latest authorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/analysis.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}