{"id":119177,"date":"2021-02-04T20:23:48","date_gmt":"2021-02-05T04:23:48","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2021\/02\/ai-maths-whiz-creates-tough-new-problems-for-humans-to-solve"},"modified":"2021-02-04T20:23:48","modified_gmt":"2021-02-05T04:23:48","slug":"ai-maths-whiz-creates-tough-new-problems-for-humans-to-solve","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2021\/02\/ai-maths-whiz-creates-tough-new-problems-for-humans-to-solve","title":{"rendered":"AI maths whiz creates tough new problems for humans to solve"},"content":{"rendered":"<p><a class=\"aligncenter blog-photo\" href=\"https:\/\/lifeboat.com\/blog.images\/ai-maths-whiz-creates-tough-new-problems-for-humans-to-solve2.jpg\"><\/a><\/p>\n<p>Computer-aided calculations have played a crucial part in producing the proofs of several high-profile results. And more recently, some mathematicians have made progress towards AI that doesn\u2019t just perform repetitive calculations, but develops its own proofs. Another growing area has been software that can go over a mathematical proof written by humans and check that it is correct.<\/p>\n<hr>\n<p>Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Computer-aided calculations have played a crucial part in producing the proofs of several high-profile results. And more recently, some mathematicians have made progress towards AI that doesn\u2019t just perform repetitive calculations, but develops its own proofs. Another growing area has been software that can go over a mathematical proof written by humans and check that [\u2026]<\/p>\n","protected":false},"author":417,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[41,2229,6],"tags":[],"class_list":["post-119177","post","type-post","status-publish","format-standard","hentry","category-information-science","category-mathematics","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/119177","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\/417"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=119177"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/119177\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=119177"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=119177"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=119177"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}