{"id":62525,"date":"2026-07-10T11:00:18","date_gmt":"2026-07-10T11:00:18","guid":{"rendered":"http:\/\/hoo.central12.com\/fugic\/?guid=b8353818cb8b1cca378aa8dab219087a"},"modified":"2026-07-10T11:00:18","modified_gmt":"2026-07-10T11:00:18","slug":"mathematicians-put-ai-to-work-on-fermats-last-theorem-2","status":"publish","type":"post","link":"https:\/\/hoo.central12.com\/fugic\/2026\/07\/10\/mathematicians-put-ai-to-work-on-fermats-last-theorem-2\/","title":{"rendered":"Mathematicians put AI to work on Fermat\u2019s last theorem"},"content":{"rendered":"At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI","protected":false},"excerpt":{"rendered":"<p>At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat&#8217;s last theorem using AI<\/p>\n","protected":false},"author":883,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1664,450],"tags":[],"class_list":["post-62525","post","type-post","status-publish","format-standard","hentry","category-ai","category-mathematics"],"_links":{"self":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/62525"}],"collection":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/users\/883"}],"replies":[{"embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/comments?post=62525"}],"version-history":[{"count":1,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/62525\/revisions"}],"predecessor-version":[{"id":62526,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/62525\/revisions\/62526"}],"wp:attachment":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/media?parent=62525"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/categories?post=62525"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/tags?post=62525"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}