[{"data":1,"prerenderedAt":14},["ShallowReactive",2],{"artikel-en-berita-openai-hasil-matematik":3},{"slug":4,"lang":5,"title":6,"description":7,"date":8,"updated":9,"topic":10,"product":9,"cover":11,"readMin":12,"html":13},"berita-openai-hasil-matematik","en","AI news: OpenAI publishes new math results, and the model is not public","On 6 October 2026 OpenAI published a batch of math results from an internal model. Some proofs are being checked in Lean. That model is not available to the public.","2026-10-07",null,"berita","\u002Fimages\u002Fartikel\u002Fberita-openai-hasil-matematik.webp",2,"\u003Cp>On 6 October 2026, OpenAI published a new batch of mathematics results. They came from an internal AI model, not from the model you use in ChatGPT today.\u003C\u002Fp>\n\u003Cp>The scale is large, and it is easy to misread. Here is what OpenAI actually said, what is still unsettled, and what it means for everyday users.\u003C\u002Fp>\n\u003Ch2>What OpenAI announced\u003C\u002Fh2>\n\u003Cp>In a post titled \u003Cem>Sharing AI progress in mathematics\u003C\u002Fem>, OpenAI said it is releasing a broad range of new mathematical results from an internal frontier model.\u003C\u002Fp>\n\u003Cp>Facts from that post:\u003C\u002Fp>\n\u003Cul>\n\u003Cli>The results are published in a GitHub repository, with protocols for revisions and citations.\u003C\u002Fli>\n\u003Cli>Many proofs are being formalized in \u003Cstrong>Lean\u003C\u002Fstrong>, a programming language that lets a computer check a proof's logic. OpenAI said it will add more Lean formalizations as they are ready.\u003C\u002Fli>\n\u003Cli>The repository also includes 10 summaries of the model's reasoning, estimates of compute spent, and statistics on how many problems were attempted.\u003C\u002Fli>\n\u003Cli>OpenAI said the average result used compute roughly equal to \u003Cstrong>three hours\u003C\u002Fstrong> of ChatGPT Pro thinking.\u003C\u002Fli>\n\u003Cli>The model that produced the results \u003Cstrong>has not been released\u003C\u002Fstrong>. OpenAI said it is working on a responsible release.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>OpenAI also said this release followed advice from the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study.\u003C\u002Fp>\n\u003Ch2>Numbers reported elsewhere\u003C\u002Fh2>\n\u003Cp>The Verge reported that the release contains \u003Cstrong>722 manuscripts\u003C\u002Fstrong> covering \u003Cstrong>372 result families\u003C\u002Fstrong>. Scientific American reported that mathematicians will need months to judge whether the proofs contain new ideas or mostly combine techniques that already exist.\u003C\u002Fp>\n\u003Cp>Those figures and readings come from news reports, not from the sentences on OpenAI's announcement page. Treat them as reports still under review.\u003C\u002Fp>\n\u003Ch2>What this means for you\u003C\u002Fh2>\n\u003Cp>If you use AI to write, make content, or run daily work:\u003C\u002Fp>\n\u003Col>\n\u003Cli>\u003Cstrong>The ChatGPT you open today is not this model.\u003C\u002Fstrong> Be wary of anyone selling "access to OpenAI's math model" through an unofficial link.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>This is a science update, not a new button in the app.\u003C\u002Fstrong> You do not need to change any account setting.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>A proof that passes Lean is strong on logic.\u003C\u002Fstrong> Lean does not tell you whether the question matters for your work.\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Cp>Want tools you can actually try now? See the list on the \u003Ca href=\"\u002Fen\u002Fai-tools\">AI tools\u003C\u002Fa> page.\u003C\u002Fp>\n\u003Ch2>Sources\u003C\u002Fh2>\n\u003Cul>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fopenai.com\u002Findex\u002Fsharing-ai-progress-in-mathematics\u002F\" target=\"_blank\" rel=\"noopener\">Sharing AI progress in mathematics\u003C\u002Fa> (OpenAI)\u003C\u002Fli>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fwww.theverge.com\u002Fai-artificial-intelligence\u002F1005004\u002Fopenai-math-release-github\" target=\"_blank\" rel=\"noopener\">OpenAI drops another batch of mathematical breakthroughs\u003C\u002Fa> (The Verge)\u003C\u002Fli>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fwww.scientificamerican.com\u002Farticle\u002Fopenai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock\u002F\" target=\"_blank\" rel=\"noopener\">OpenAI unleashes hundreds more math results upon a field already in shock\u003C\u002Fa> (Scientific American)\u003C\u002Fli>\n\u003C\u002Ful>\n",1793543302670]