Advancing mathematics by guiding human intuition with AI | Nature

"Advancing mathematics by guiding human intuition with AI | Nature" https://www.nature.com/articles/s41586-021-04086-x

https://github.com/deepmind/mathematics_conjectures