Comment by meiji163

I'm a fan of deepmind and all, but this story has been way overblown based on what I saw in the actual code. There's nothing particularly new about mathematicians using computers to investigate and make conjectures, even if you add ML into it.