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.
Could you expand on this? What code did you see, where, and doing what? Were you part of this team?
> There's nothing particularly new about mathematicians using computers to investigate and make conjectures, even if you add ML into it.
I think you're being needlessly reductive here. The article itself explicitly states that "using computers" is not what's new.