DeepMind AI with built-in fact-checker makes mathematical discoveries

Open in new window