“I didn’t know what the problem was—I was just doing Erdős problems as I do sometimes, giving them to the AI and seeing what it can come up with,” he says. “And it came up with what looked like a right solution.”
reply"He sent it to his occasional collaborator Kevin Barreto, a second-year undergraduate in mathematics at the University of Cambridge."
So basically two undergrads/graduates in math, "advanced" is subjective at that point.
I don't see where it says Price was an undergraduate/graduate in math.
replyI 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...
replyIt's implied by "no advanced mathematics training?"
replyThe 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.
reply