Can Math Help AI Chatbots Stop Making Stuff Up?
Published On Sep 23, 2024, 11:11 AM
Researchers like Tudor Achim at Harmonic are developing new AI systems, such as the bot Aristotle, that can verify their own answers, particularly in mathematics, potentially eliminating the phenomenon known as 'hallucination' that affects current AI chatbots like ChatGPT. This innovation is necessary as common AI chatbots sometimes provide incorrect information. The focus is currently on mathematics due to its rigid structure, but there are hopes that such technologies can be expanded into other areas. Notably, Google's DeepMind has introduced AlphaProof, which successfully competed in the International Mathematical Olympiad, showcasing the potential of self-verifying AIs.