Dec 142023 DeepMind AI with built-in fact-checker makes mathematical discoveries The AI company DeepMind claims it has developed a way to harness the creativity of chatbots to solve mathematical problems while filtering out mistakes. By Matthew Sparkes