It's implied by "no advanced mathematics training?"
The article you linked (thanks for the unpaywalled link, by the way) describes him only as an amateur mathematician, but describes Barreto as a math student. If they were both math students, I feel it would say so?
Or perhaps you're arguing it's implicit in him having solved the problem? If so, you're just assuming your conclusion. "AI didn't prove it by itself; Price was a mathematician. Well, he must have been a mathematician to be able to prove it!"
I'm saying that it wasn't a random person who had no training in math, still miraculous achievement; just trying to show they still had to study maths to even understand how to present the problem and verify it.
I don't see where it doesn't say he is, I feel its implied. Another source, proves me right? https://www.newscientist.com/article/2511954-amateur-mathema...
https://archive.is/oQvO4
It's implied by "no advanced mathematics training?"
The article you linked (thanks for the unpaywalled link, by the way) describes him only as an amateur mathematician, but describes Barreto as a math student. If they were both math students, I feel it would say so?
Or perhaps you're arguing it's implicit in him having solved the problem? If so, you're just assuming your conclusion. "AI didn't prove it by itself; Price was a mathematician. Well, he must have been a mathematician to be able to prove it!"
I'm saying that it wasn't a random person who had no training in math, still miraculous achievement; just trying to show they still had to study maths to even understand how to present the problem and verify it.