Researchers develop AI chatbots using mathematical models for accuracy and reliability.

Researchers, led by Tudor Achim of Harmonic, are developing AI chatbots that use mathematical models to ensure accuracy and reliability, minimizing false information or "hallucinations." Achim demonstrated this by asking the AI bot Aristotle a complex math problem, which it answered correctly. This approach aims to create trustworthy digital assistants and could also apply to fields like computer programming. Google DeepMind's AlphaProof has shown similar capabilities in mathematics.

September 24, 2024
4 Articles