3 ms·DeepMind: AI software collaborates with humans on mathematical breakthroughs8 points by ofou 5y ago