Comment by sd9

5 days ago

Indeed. Who’s to say whether Wiles would have used AI assistance if it had, you know, existed, in 1994.

Wiles's initial presentation of the proof had a serious flaw that killed the whole thing until he found a workaround. I don't remember how long it took him to get out of the jam, but I'm sure he would have handed his credit card to the Devil himself if he thought it might help.

People who don't take advantage of the best available tools and techniques don't get to that level to begin with.