{"id":55392,"date":"2026-08-03T10:15:55","date_gmt":"2026-08-03T02:15:55","guid":{"rendered":"https:\/\/www.1ai.net\/?p=55392"},"modified":"2026-08-03T10:15:55","modified_gmt":"2026-08-03T02:15:55","slug":"openai-%e5%ae%98%e5%ae%a3%e4%b8%8b%e4%b8%80%e4%bb%a3%e6%a8%a1%e5%9e%8b-astra%ef%bc%9a%e6%94%bb%e5%85%8b-10-%e9%a1%b9%e8%8f%b2%e5%b0%94%e5%85%b9%e5%a5%96%e7%ba%a7%e6%95%b0%e5%ad%a6%e9%9a%be%e9%a2%98","status":"publish","type":"post","link":"https:\/\/www.1ai.net\/en\/55392.html","title":{"rendered":"OpenAI announces the next generation model, Astra: The 10 Felds Prize Math Conundrum"},"content":{"rendered":"<p>August 3 News.<a href=\"https:\/\/www.1ai.net\/en\/tag\/openai\" title=\"[View articles tagged with [OpenAI]]\" target=\"_blank\" >OpenAI<\/a> Official publication of his next generation<a href=\"https:\/\/www.1ai.net\/en\/tag\/%e5%a4%a7%e6%a8%a1%e5%9e%8b\" title=\"[View articles tagged with [large models]]\" target=\"_blank\" >Large Model<\/a> <a href=\"https:\/\/www.1ai.net\/en\/tag\/astra\" title=\"_Other Organiser\" target=\"_blank\" >Astra<\/a> - Phased R&amp;D results. Experiments have shown that the model independently extrapolates and gives complete proof of 10 long-standing, unresolved mathematical difficulties, with a total of 249 pages\u3002<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-55393\" title=\"a937228bj00tj68x00033d000u000dem\" src=\"https:\/\/www.1ai.net\/wp-content\/uploads\/2026\/08\/a937228bj00tj68x00033d000u000dem.jpg\" alt=\"a937228bj00tj68x00033d000u000dem\" width=\"1080\" height=\"482\" \/><\/p>\n<p>&nbsp;<\/p>\n<p>According to the technical report published by OpenAI, the mathematical dilemma of the Astra attack is an area that has been open for more than 10 years and with a chronic lack of progress, covering combination mathematics, algebra geometry and numerics. The model demonstrates the ability to construct complex auxiliary functions and to simplify cross-cutting aspects in the demonstration process, and the extrapolation steps have passed the formalization of the automated theorem certifier Lean 4\u3002<\/p>\n<p>OpenAI states that Astra is still in the internal security assessment and alignment phase and is not open to the public. In the future, the bottom structure of the model will be integrated into Codex and ChatGPT ' s in-depth reasoning capability, with supporting scientists conducting symbolic extrapolations and complex theoretical proofs\u3002<\/p>","protected":false},"excerpt":{"rendered":"<p>On August 3rd, OpenAI officially released the results of its phased research and development for the next generation of big internal models, Astra. The experiment showed that the model had independently extrapolated and gave complete proof of 10 long-standing mathematical difficulties without human hints, with a total of 249 pages. According to the technical report published by OpenAI, the mathematical dilemma of the Astra attack is an area that has been open for more than 10 years and with a chronic lack of progress, covering combination mathematics, algebra geometry and numerics. The model demonstrates the ability to construct complex auxiliary functions and to simplify cross-cutting aspects in the demonstration process, and the extrapolation steps have passed the formalization of the automated theorem certifier Lean 4. OpenAI indicates that Astra<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[146],"tags":[2598,190,216],"collection":[],"class_list":["post-55392","post","type-post","status-publish","format-standard","hentry","category-news","tag-astra","tag-openai","tag-216"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/posts\/55392","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/comments?post=55392"}],"version-history":[{"count":0,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/posts\/55392\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/media?parent=55392"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/categories?post=55392"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/tags?post=55392"},{"taxonomy":"collection","embeddable":true,"href":"https:\/\/www.1ai.net\/en\/wp-json\/wp\/v2\/collection?post=55392"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}