[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-openai-shares-ai-generated-progress-on-math-problems":10,"sections":47},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":34,"tags":35,"sources":39,"feedback":46,"feedback_at":22,"cost_usd":46,"total_tokens":46},10523,"openai-shares-ai-generated-progress-on-math-problems","OpenAI Shares AI Generated Progress on Math Problems","OpenAI says a frontier model advanced open math problems and posted Lean proofs to GitHub, but offered no link, problem names, or outside verification.","OpenAI says an internal AI model made headway on open problems in mathematics, and the company is posting the proofs online.\n\nIn a short announcement, OpenAI says a frontier model not yet released publicly produced new results on unsolved math problems. The company says it is sharing Lean proof formalizations, the formal language mathematicians use to machine check a proof line by line, along with other research details on GitHub. The post does not name the problems, say how many were solved, or link to the specific repository, paper, or commit a reader could actually check. No mathematician outside OpenAI is quoted confirming any of it.\n\nThat gap matters because AI math claims have a track record of outrunning scrutiny. Google DeepMind's AlphaProof made waves in 2024 with near gold medal performance at the International Mathematical Olympiad, and OpenAI itself claimed gold medal level results on this year's olympiad. Each time, the announcement comes first and the checking comes later, if at all.\n\nUntil independent mathematicians can actually open the Lean files and verify them, this is a claim, not a result.","[\"ai\",\"mathematics\",\"openai\",\"research\"]","2026-10-06T12:00:00.000Z","2026-10-08T13:23:53.534Z","2026-10-08T13:23:58.574Z","published",null,[24,30],{"id":25,"reviewer":26,"round":27,"reason":28,"status":29},"editor-r1","editor",1,"The entire draft rests on a single one-sentence OpenAI blurb with no named mathematicians, no identification of which open problems were addressed, and no link to the actual GitHub repo or results — pull those concrete specifics (and corroborate with the GitHub post or outside mathematicians) before publishing, and drop the unsupported 'long-standing' characterization of the problems since the source doesn't say that.","resolved",{"id":31,"reviewer":26,"round":32,"reason":33,"status":29},"editor-r2",2,"Drop the 'long-standing' framing is gone, but the draft still rests entirely on OpenAI's one-sentence blurb with no GitHub repo link, no specifics pulled from that repo, and no outside mathematician reaction — add the actual repo link\u002Fcontents and any independent corroboration, or if none exists, say so explicitly rather than just restating that OpenAI was vague.","ai",[34,36,37,38],"mathematics","openai","research",[40,43],{"name":41,"url":42},"OpenAI","https:\u002F\u002Fopenai.com\u002Findex\u002Fsharing-ai-progress-in-mathematics",{"name":44,"url":45},"Hacker News","https:\u002F\u002Fopenai.com\u002Findex\u002Fsharing-ai-progress-in-mathematics\u002F",0,{"sections":48},[49,53,58,63,68,73,78,83,88,93,98,103,108,113],{"name":50,"slug":34,"count":51,"latest_published_at":52},"AI",6541,"2026-10-09T00:10:00.000Z",{"name":54,"slug":55,"count":56,"latest_published_at":57},"Security","security",925,"2026-10-08T21:53:51.000Z",{"name":59,"slug":60,"count":61,"latest_published_at":62},"Policy","policy",486,"2026-10-08T22:40:11.000Z",{"name":64,"slug":65,"count":66,"latest_published_at":67},"Deals","deals",474,"2026-10-08T22:00:00.000Z",{"name":69,"slug":70,"count":71,"latest_published_at":72},"Hardware","hardware",229,"2026-10-08T20:47:10.000Z",{"name":74,"slug":75,"count":76,"latest_published_at":77},"Science","science",190,"2026-10-08T21:23:31.000Z",{"name":79,"slug":80,"count":81,"latest_published_at":82},"Consumer Tech","consumer-tech",181,"2026-10-08T23:26:35.000Z",{"name":84,"slug":85,"count":86,"latest_published_at":87},"Startups","startups",117,"2026-10-08T16:45:00.000Z",{"name":89,"slug":90,"count":91,"latest_published_at":92},"Software","software",114,"2026-10-08T17:57:01.000Z",{"name":94,"slug":95,"count":96,"latest_published_at":97},"Dev Tools","dev-tools",105,"2026-10-07T16:59:11.000Z",{"name":99,"slug":100,"count":101,"latest_published_at":102},"General","general",65,"2026-10-08T19:06:41.000Z",{"name":104,"slug":105,"count":106,"latest_published_at":107},"Gaming","gaming",58,"2026-10-08T20:08:45.000Z",{"name":109,"slug":110,"count":111,"latest_published_at":112},"Reviews","reviews",34,"2026-10-08T14:00:22.000Z",{"name":114,"slug":115,"count":116,"latest_published_at":117},"How-To","how-to",8,"2026-10-05T09:00:00.000Z"]