{"id":190910,"date":"2024-06-09T18:25:55","date_gmt":"2024-06-09T23:25:55","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2024\/06\/ai-will-become-mathematicians-co-pilot"},"modified":"2024-06-09T18:25:55","modified_gmt":"2024-06-09T23:25:55","slug":"ai-will-become-mathematicians-co-pilot","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2024\/06\/ai-will-become-mathematicians-co-pilot","title":{"rendered":"AI Will Become Mathematicians\u2019 \u2018Co-Pilot\u2019"},"content":{"rendered":"<p><a class=\"aligncenter blog-photo\" href=\"https:\/\/lifeboat.com\/blog.images\/ai-will-become-mathematicians-co-pilot2.jpg\"><\/a><\/p>\n<p>Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics.<\/p>\n<p>By <a class=\"\" href=\"https:\/\/www.scientificamerican.com\/author\/christoph-droesser\/\">Christoph Dr\u00f6sser<\/a><\/p>\n<p>Mathematics is traditionally a solitary science. In 1986 Andrew Wiles withdrew to his study for seven years to prove Fermat\u2019s theorem. The resulting proofs are often difficult for colleagues to understand, and some are still controversial today. But in recent years ever larger areas of mathematics have been so strictly broken down into their individual components (\u201cformalized\u201d) that proofs can be checked and verified by computers.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics. By Christoph Dr\u00f6sser Mathematics is traditionally a solitary science. In 1986 Andrew Wiles withdrew to his study for seven years to prove Fermat\u2019s theorem. The resulting proofs are often difficult for colleagues to understand, and some are still controversial today. [\u2026]<\/p>\n","protected":false},"author":513,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2229,6],"tags":[],"class_list":["post-190910","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/190910","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/513"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=190910"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/190910\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=190910"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=190910"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=190910"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}