{"rewrite":{"id":"r_c49e5da47a1e05194ecc3f92","clusterId":"c_7f0dd00d5fd4a53d198282b2","slug":"openai-releases-722-papers-tied-to-unsolved-math-problems","model":"deepseek-v4-1-flash","headline":"OpenAI Releases 722 Papers Tied To Unsolved Math Problems","summary":"OpenAI published a GitHub repository on October 6, 2026 holding 722 papers across 372 result families, described as new mathematical results from its in-house models. Many proofs carry Lean formalizations, a language used to make them machine-checkable. OpenAI said the release follows discussions with the advisory group AGMAI and its recommendation on responsible publication of AI-generated mathematical information. The repository will be updated as new formalizations arrive.","whyItMatters":"OpenAI is routing AI-generated mathematics through a review and citation process built with an outside advisory group before publication, which is the part of this release that sets a precedent for how the results get absorbed by mathematicians.","webCardHtml":"\u003cp\u003eThe repository sorts the manuscripts by mathematical field and includes proof materials. OpenAI also published procedures for revision and citation alongside the results and computational procedures. For many papers, Lean formalizations accompany the proofs so a computer can verify them, and OpenAI said it plans to keep updating the repository as new formalizations become available.\u003c/p\u003e\u003cp\u003eOutside readers marked specific items. Researcher Isaac Kim, whose work covers quantum information and many-body physics, described the list as containing shocking problems in his areas and said things are changing rapidly. OpenAI said the release follows discussions with AGMAI and its recommendation on responsible publication of AI-generated mathematical information, and that it is working toward releasing the models responsible in a responsible manner.\u003c/p\u003e","blueskyPost":"OpenAI's 722 math papers ship with Lean formalizations, which means the claims can be machine-checked rather than peer-reviewed by people. Verification by compiler is a different kind of proof than consensus.","twitterPost":"OpenAI's math papers ship with Lean formalizations, so the claims are machine-checkable. That shifts verification from peer consensus to a compiler run.","threadsPost":"OpenAI's 722 math papers come with Lean formalizations, a language that makes proofs machine-checkable. That detail moves verification away from peer review and toward anyone willing to run the code, and it means the repository, not a journal, is where the math lives now.","newsletterBlurb":"OpenAI published a GitHub repository with 722 papers spanning 372 result families, described as new mathematical results from its in-house models. Many of the proofs have Lean formalizations so a computer can verify them. OpenAI said the release follows discussions with the advisory group AGMAI and its recommendation on responsible publication of AI-generated mathematical information.","attributionJson":"[{\"source\":\"GIGAZINE\",\"url\":\"https://gigazine.net/news/20261007-openai-mathematics/\",\"title\":\"OpenAI announces mathematical results on 722 unsolved problems using in-house AI model, leading to new mathematical breakthroughs\"}]","lintFlagsJson":null,"lintHits":0,"costUsd":0,"inputTokens":4574,"outputTokens":576,"status":"published","repairAttempts":0,"nextRepairAt":null,"factsAttemptedAt":1791348761,"createdAt":"2026-10-07T04:47:24.000Z","publishedAt":"2026-10-07T04:51:07.000Z","updatedAt":"2026-10-07T04:51:07.000Z"},"cluster":{"id":"c_7f0dd00d5fd4a53d198282b2","canonicalTitle":"OpenAIが社内AIモデルで722本の未解決問題に関する数学的成果を発表、新たな数学的ブレークスルーへ","representativeArticleId":"a_a4163855334bd6b0edba6eb3","sourceCount":1,"writtenSourceCount":1,"writeAttempts":0,"isSolo":true,"entitiesJson":"{\"anime_titles\":[],\"manga_titles\":[],\"work_titles\":[],\"studios\":[],\"people\":[],\"type\":\"news\",\"domain\":\"other\",\"is_roundup\":false}","contentType":"news","status":"published","firstSeenAt":"2026-10-07T03:42:00.000Z","lastSeenAt":"2026-10-07T03:42:00.000Z","updatedAt":"2026-10-07T04:51:06.000Z"},"attribution":[{"source":"GIGAZINE","url":"https://gigazine.net/news/20261007-openai-mathematics/","title":"OpenAIが社内AIモデルで722本の未解決問題に関する数学的成果を発表、新たな数学的ブレークスルーへ"}],"entities":{"anime_titles":[],"manga_titles":[],"work_titles":[],"studios":[],"people":[],"type":"news","domain":"other","is_roundup":false},"keyFacts":null}