{"id":84473,"date":"2023-02-20T14:01:50","date_gmt":"2023-02-20T20:01:50","guid":{"rendered":"http:\/\/www.kateva.org\/sh\/?p=84473"},"modified":"2023-02-20T14:01:50","modified_gmt":"2023-02-20T20:01:50","slug":"the-first-paper-describes-teaching-an-llm-to-translate-ordinary-math-statements-into-formal-code-that-a-computer-can-run-and-check-the-second-trained-an-llm-not-just-to-understand-natural-la","status":"publish","type":"post","link":"http:\/\/www.kateva.org\/sh\/?p=84473","title":{"rendered":"\u201cThe first paper describes teaching an LLM to translate ordinary math statements into formal code that a computer can run and check. The second trained an LLM not just to understand natural-language math problems but to actually solve them &#8230;&#8221;"},"content":{"rendered":"<p><a href=\"https:\/\/www.quantamagazine.org\/to-teach-computers-math-researchers-merge-ai-approaches-20230215\/\">Link<\/a>. It&#8217;s moving very fast.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Link. It&#8217;s moving very fast.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[32],"class_list":["post-84473","post","type-post","status-publish","format-standard","hentry","category-share","tag-pinboard"],"_links":{"self":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/84473","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=84473"}],"version-history":[{"count":1,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/84473\/revisions"}],"predecessor-version":[{"id":84474,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/84473\/revisions\/84474"}],"wp:attachment":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=84473"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=84473"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=84473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}