研究人员利用精确性和可靠性的数学模型开发人工智能聊天机。 Researchers develop AI chatbots using mathematical models for accuracy and reliability.

由Harmonic的Tudor Achim领导的研究人员正在开发人工智能聊天机器人,使用数学模型确保准确性和可靠性,尽量减少虚假信息或"幻觉". 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向AIbot Aristotle提出一个复杂的数学问题, 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的AlphaProof在数学方面表现出相似的能力。 Google DeepMind's AlphaProof has shown similar capabilities in mathematics.