Alex Davies, Petar Velickovic, Lars Buesing, Sam Blackwell, Daniel Zheng, Nenad Tomasev, Richard Tanburn, Peter W. Battaglia, Charles Blundell, András Juhász, Marc Lackenby, Geordie Williamson, Demis Hassabis, Pushmeet Kohli. Advancing mathematics by guiding human intuition with AI. Nature, 600(7887):70-74, 2021. [doi]
Abstract is missing.