OpenAI has published a large collection of mathematics manuscripts and proof materials produced by an internal research AI model.<\/p>\n
The public repository contains 722 manuscripts<\/strong>, organized into 372 families of related results<\/strong>. Some include Lean formalizations and other verification materials, together with ten abridged summaries of the model reasoning.<\/p>\n The OpenAI repository itself warns that the materials are at different stages of verification and that some results without formalization may contain issues. Not every manuscript has a formally checked main claim.<\/p>\n The release should therefore be viewed as the beginning of scientific assessment, not as automatic acceptance of every claim by the mathematics community.<\/p>\n The Advisory Group on Mathematics and Artificial Intelligence, AGMAI, says its advisory role should not be treated as an endorsement of the results or of the process used to obtain them. The group says publication is a first step and that the significance and correctness of the results must be assessed by the mathematics community.<\/p>\n OpenAI says it drew on recommendations from the independent group when designing the release and introduced revision and citation protocols for the materials.<\/p>\n Sources:<\/strong> OpenAI \u2013 Sharing AI progress in mathematics<\/a>; openai\/math \u2013 public repository<\/a>; AGMAI \u2013 statement of 6 October<\/a>.<\/p>\n Illustrative photo: ABF \/ Wikimedia Commons, file page<\/a>, CC BY-SA 3.0<\/a>. The image has been cropped and resized to 1200\u00d7675 px. The adapted version is used under the same licence.<\/em><\/p>","protected":false},"excerpt":{"rendered":" The collection is organized into 372 groups of related results. Some claims have Lean formalizations, but OpenAI and an independent mathematics advisory group stress that evaluation is only beginning.<\/p>","protected":false},"author":1,"featured_media":1184,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_gspb_post_css":"","footnotes":""},"categories":[24,5],"tags":[],"class_list":["post-1188","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-nauka-i-tehnologii","category-svyat"],"blocksy_meta":{"styles_descriptor":{"styles":{"desktop":"","tablet":"","mobile":""},"google_fonts":[],"version":8}},"_links":{"self":[{"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/posts\/1188","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/comments?post=1188"}],"version-history":[{"count":1,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/posts\/1188\/revisions"}],"predecessor-version":[{"id":1190,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/posts\/1188\/revisions\/1190"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/media\/1184"}],"wp:attachment":[{"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/media?parent=1188"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/categories?post=1188"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/5000.news\/en\/wp-json\/wp\/v2\/tags?post=1188"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}722 manuscripts do not mean 722 independently verified breakthroughs<\/h2>\n
Independent AGMAI: assessment by the mathematics community is still ahead<\/h2>\n
\n