Google DeepMinds' game-playing AI overcomes chatbot blind spots

A few years before ChatGPT started spouting gibberish, Google developed an entirely different kind of artificial intelligence program called AlphaGo, which learned through relentless practice to play the board game Go with superhuman skill.

The company's researchers published work combining the power of large-scale language models (the AI ​​behind today's chatbots) with the abilities of AlphaZero, the chess-playing successor to AlphaGo, to solve extremely difficult mathematical proofs.

Their new Frankenstein-like creation, “AlphaProof,” has demonstrated its capabilities by tackling several problems in the 2024 International Mathematical Olympiad (IMO), a prestigious competition for high school students.

AlphaProof uses the Gemini large-scale language model to translate a natural representation of a mathematical problem into a programming language called Lean, which provides the training material for a second algorithm to learn how to find verifiable proofs of correctness through trial and error.

Earlier this year, Google DeepMind introduced another mathematical algorithm called AlphaGeometry that combines language models with a different AI approach. AlphaGeometry uses Gemini to convert geometry problems into a form that can be manipulated and tested by programs that process geometric elements. Google today also announced a new and improved version of AlphaGeometry.

The researchers found that the two math programs were able to provide silver medalist-level proofs of the IMO puzzles. Of the six problems in total, AlphaProof solved two algebraic problems and one number theory problem, while AlphaGeometry solved a geometry problem. The programs solved one problem in minutes, but took days to solve the others. Google DeepMind did not disclose how much computer power it put into these problems.

Google DeepMind calls the approach used for both AlphaProof and AlphaGeometry neurosymbolic because it combines the pure machine learning of artificial neural networks — the technology underpinning recent advances in AI — with traditional programming languages.

“What we're seeing here is that you can combine a very successful approach, like AlphaGo, with a large language model to produce something very capable,” says David Silver, the Google DeepMind researcher who led the AlphaZero work. Silver says that the techniques demonstrated by AlphaProof should theoretically be applicable to other areas of mathematics.

In fact, this research suggests that applying logic and reasoning in a more grounded way may address the worst tendencies of large language models: they perform phenomenally, but they also have difficulty understanding even basic mathematics, let alone reasoning about problems logically.

In the future, neural symbolic methods could become a means of translating questions or tasks into a form that allows AI systems to reason about them in a way that produces trustworthy results. OpenAI is also rumored to be working on such a system, codenamed Strawberry.

But as Silver acknowledges, the system unveiled today has important limitations. Mathematical answers are either right or wrong, and AlphaProof and AlphaGeometry can work toward the right answer. Many real-world problems, such as figuring out the ideal travel itinerary, have many possible answers, and it can be unclear which one is ideal. A solution for more ambiguous questions, Silver says, might be for the language model to determine what the right answer is during training. There are a variety of approaches that can be tried, he says.

Silver also cautions that Google DeepMind won't take away jobs from human mathematicians. “We aim to provide a system that can prove anything, but that's not the only job of a mathematician,” Silver said. A big part of math is posing problems and finding interesting questions to ask. You can think of this as a tool, similar to a slide rule, a calculator, or a computational tool.

Updated July 25, 2024 at 1:25 p.m.: This story has been updated to clarify how many problems AlphaProof and AlphaGeometry solve, and what types of problems they solve.

What Are The Main Benefits Of Comparing Car Insurance Quotes Online

LOS ANGELES, CA / ACCESSWIRE / June 24, 2020, / Compare-autoinsurance.Org has launched a new blog post that presents the main benefits of comparing multiple car insurance quotes. For more info and free online quotes, please visit https://compare-autoinsurance.Org/the-advantages-of-comparing-prices-with-car-insurance-quotes-online/ The modern society has numerous technological advantages. One important advantage is the speed at which information is sent and received. With the help of the internet, the shopping habits of many persons have drastically changed. The car insurance industry hasn't remained untouched by these changes. On the internet, drivers can compare insurance prices and find out which sellers have the best offers. View photos The advantages of comparing online car insurance quotes are the following: Online quotes can be obtained from anywhere and at any time. Unlike physical insurance agencies, websites don't have a specific schedule and they are available at any time. Drivers that have busy working schedules, can compare quotes from anywhere and at any time, even at midnight. Multiple choices. Almost all insurance providers, no matter if they are well-known brands or just local insurers, have an online presence. Online quotes will allow policyholders the chance to discover multiple insurance companies and check their prices. Drivers are no longer required to get quotes from just a few known insurance companies. Also, local and regional insurers can provide lower insurance rates for the same services. Accurate insurance estimates. Online quotes can only be accurate if the customers provide accurate and real info about their car models and driving history. Lying about past driving incidents can make the price estimates to be lower, but when dealing with an insurance company lying to them is useless. Usually, insurance companies will do research about a potential customer before granting him coverage. Online quotes can be sorted easily. Although drivers are recommended to not choose a policy just based on its price, drivers can easily sort quotes by insurance price. Using brokerage websites will allow drivers to get quotes from multiple insurers, thus making the comparison faster and easier. For additional info, money-saving tips, and free car insurance quotes, visit https://compare-autoinsurance.Org/ Compare-autoinsurance.Org is an online provider of life, home, health, and auto insurance quotes. This website is unique because it does not simply stick to one kind of insurance provider, but brings the clients the best deals from many different online insurance carriers. In this way, clients have access to offers from multiple carriers all in one place: this website. On this site, customers have access to quotes for insurance plans from various agencies, such as local or nationwide agencies, brand names insurance companies, etc. "Online quotes can easily help drivers obtain better car insurance deals. All they have to do is to complete an online form with accurate and real info, then compare prices", said Russell Rabichev, Marketing Director of Internet Marketing Company. CONTACT: Company Name: Internet Marketing CompanyPerson for contact Name: Gurgu CPhone Number: (818) 359-3898Email: [email protected]: https://compare-autoinsurance.Org/ SOURCE: Compare-autoinsurance.Org View source version on accesswire.Com:https://www.Accesswire.Com/595055/What-Are-The-Main-Benefits-Of-Comparing-Car-Insurance-Quotes-Online View photos