{"id":13485,"date":"2024-09-23T15:11:02","date_gmt":"2024-09-23T15:11:02","guid":{"rendered":"https:\/\/medexperts.pro\/?p=13485"},"modified":"2024-09-23T15:23:31","modified_gmt":"2024-09-23T15:23:31","slug":"can-math-help-ai-chatbots-stop-making-stuff-up","status":"publish","type":"post","link":"https:\/\/medexperts.pro\/?p=13485","title":{"rendered":"Can Math Help AI Chatbots Stop Making Stuff Up?"},"content":{"rendered":"
<\/div>\n

Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math \u2014 and maybe more.<\/p>\n

\n
\n
\n

On a recent afternoon, Tudor Achim gave a brain teaser to an A.I. bot called Aristotle.<\/p>\n

The question involved a 10-by-10 table filled with a hundred numbers. If you collected the smallest number in each row and the largest number in each column, he asked, could the largest of the small numbers ever be greater than the smallest of the large numbers?<\/p>\n

The bot correctly answered \u201cNo.\u201d But that was not surprising. Popular chatbots like ChatGPT may give the right answer, too. The difference was that Aristotle had proven that its answer was right. The bot generated a detailed computer program that verified \u201cNo\u201d was the correct response.<\/p>\n

Chatbots like ChatGPT from OpenAI and Gemini from Google can answer questions, write poetry, summarize news articles and generate images. But they also make mistakes that defy common sense. Sometimes, they make stuff up \u2014 a phenomenon called hallucination<\/a>.<\/p>\n

Mr. Achim, the chief executive and co-founder of a Silicon Valley start-up called Harmonic, is part of growing effort to build a new kind of A.I. that never hallucinates. Today, this technology is focused on mathematics. But many leading researchers believe they can extend the same techniques into computer programming and other areas.<\/p>\n<\/div>\n<\/div>\n

<\/div>\n
\n
\n

Because math is a rigid discipline with formal ways of proving whether an answer is right or wrong, companies like Harmonic can build A.I. technologies that check their own answers and learn to produce reliable information.<\/p>\n

Google DeepMind, the tech giant\u2019s central A.I. lab, recently unveiled a system called AlphaProof<\/a> that operates in this way. Competing in the International Mathematical Olympiad, the premier math competition for high schoolers, the system achieved \u201csilver medal\u201d performance, solving four of the competition\u2019s six problems. It was the first time a machine had reached that level.<\/p>\n

\n
\n
<\/div>\n
\n
\n
\n

We are having trouble retrieving the article content.<\/p>\n

Please enable JavaScript in your browser settings.<\/p>\n<\/div>\n<\/div>\n

\n
\n

Thank you for your patience while we verify access. If you are in Reader mode please exit and\u00a0log into<\/a>\u00a0your Times account, or\u00a0subscribe<\/a>\u00a0for all of The Times.<\/p>\n

\n<\/div>\n
\n
\n

Thank you for your patience while we verify access.<\/p>\n

Already a subscriber?\u00a0Log in<\/a>.<\/p>\n

Want all of The Times?\u00a0Subscribe<\/a>.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n","protected":false},"excerpt":{"rendered":"

Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math \u2014 and maybe more.On a recent afternoon, Tudor Achim gave a brain teaser to an A.I. bot called Aristotle.The question involved a 10-by-10 table filled with a hundred numbers. If you collected the smallest number in each row and the largest number in each column, he asked, could the largest of the small numbers ever be greater than the smallest of the large numbers?The bot correctly answered \u201cNo.\u201d But that was not surprising. Popular chatbots like ChatGPT may give the right answer, too. The difference was that Aristotle had proven that its answer was right. The bot generated a detailed computer program that verified \u201cNo\u201d was the correct response.Chatbots like ChatGPT from OpenAI and Gemini from Google can answer questions, write poetry, summarize news articles and generate images. But they also make mistakes that defy common sense. Sometimes, they make stuff up \u2014 a phenomenon called hallucination.Mr. Achim, the chief executive and co-founder of a Silicon Valley start-up called Harmonic, is part of growing effort to build a new kind of A.I. that never hallucinates. Today, this technology is focused on mathematics. But many leading researchers believe they can extend the same techniques into computer programming and other areas.Because math is a rigid discipline with formal ways of proving whether an answer is right or wrong, companies like Harmonic can build A.I. technologies that check their own answers and learn to produce reliable information.Google DeepMind, the tech giant\u2019s central A.I. lab, recently unveiled a system called AlphaProof that operates in this way. Competing in the International Mathematical Olympiad, the premier math competition for high schoolers, the system achieved \u201csilver medal\u201d performance, solving four of the competition\u2019s six problems. It was the first time a machine had reached that level.We are having trouble retrieving the article content.Please enable JavaScript in your browser settings.Thank you for your patience while we verify access. If you are in Reader mode please exit and\u00a0log into\u00a0your Times account, or\u00a0subscribe\u00a0for all of The Times.Thank you for your patience while we verify access.Already a subscriber?\u00a0Log in.Want all of The Times?\u00a0Subscribe.<\/p>\n","protected":false},"author":1,"featured_media":13487,"comment_status":"close","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-13485","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technology"],"_links":{"self":[{"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/posts\/13485","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/medexperts.pro\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=13485"}],"version-history":[{"count":2,"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/posts\/13485\/revisions"}],"predecessor-version":[{"id":13488,"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/posts\/13485\/revisions\/13488"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/medexperts.pro\/index.php?rest_route=\/wp\/v2\/media\/13487"}],"wp:attachment":[{"href":"https:\/\/medexperts.pro\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=13485"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/medexperts.pro\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=13485"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/medexperts.pro\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=13485"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}