{"id":456,"date":"2023-03-15T15:06:14","date_gmt":"2023-03-15T15:06:14","guid":{"rendered":"https:\/\/todaysainews.com\/index.php\/2023\/03\/15\/solving-some-formal-math-olympiad-problems\/"},"modified":"2025-04-27T07:33:50","modified_gmt":"2025-04-27T07:33:50","slug":"solving-some-formal-math-olympiad-problems","status":"publish","type":"post","link":"https:\/\/todaysainews.com\/index.php\/2023\/03\/15\/solving-some-formal-math-olympiad-problems\/","title":{"rendered":"Solving (some) formal math olympiad problems"},"content":{"rendered":"<p> [ad_1]<br \/>\n<br \/>We built a neural theorem prover for\u00a0Lean\u00a0that learned to solve a variety of challenging high-school olympiad problems, including problems from the\u00a0AMC12\u00a0and\u00a0AIME\u00a0competitions, as well as two problems adapted from the\u00a0IMO.<br \/>\n<br \/>[ad_2]<br \/>\n<br \/><a href=\"https:\/\/openai.com\/research\/formal-math\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>[ad_1] We built a neural theorem prover for\u00a0Lean\u00a0that learned to solve a variety of challenging high-school olympiad problems,<\/p>\n","protected":false},"author":2,"featured_media":457,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[19],"tags":[],"class_list":["post-456","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-openai"],"featured_image_urls":{"full":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems.png",2064,1373,false],"thumbnail":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-150x150.png",150,150,true],"medium":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-300x200.png",300,200,true],"medium_large":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-768x511.png",640,426,true],"large":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-1024x681.png",640,426,true],"1536x1536":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-1536x1022.png",1536,1022,true],"2048x2048":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-2048x1362.png",2048,1362,true],"broadnews-featured":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-1024x681.png",1024,681,true],"broadnews-large":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-825x575.png",825,575,true],"broadnews-medium":["https:\/\/todaysainews.com\/wp-content\/uploads\/2023\/03\/solving-some-formal-math-olympiad-problems-590x410.png",590,410,true]},"author_info":{"info":["Sanna"]},"category_info":"<a href=\"https:\/\/todaysainews.com\/index.php\/category\/openai\/\" rel=\"category tag\">OpenAI<\/a>","tag_info":"OpenAI","comment_count":"0","_links":{"self":[{"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/posts\/456","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/comments?post=456"}],"version-history":[{"count":1,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/posts\/456\/revisions"}],"predecessor-version":[{"id":2844,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/posts\/456\/revisions\/2844"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/media\/457"}],"wp:attachment":[{"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/media?parent=456"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/categories?post=456"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/todaysainews.com\/index.php\/wp-json\/wp\/v2\/tags?post=456"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}