Comment by tbrake

> but this story has been way overblown based on what I saw in the actual code.

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.