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