Hacker News Reader

I think the GP might have been responding to the GGP, not to your statement in the article.

I remember asking Bob Solovay whether he thought Wiles' proof of FLT was within reach of formalization and he said something like: it is probably 20 years away. It may have been 20 years since I asked him that, and seeing this recent work with Lean makes me think FLT might also be doable, which would make Solovay's guess just about spot on.

Hi Kevin,

Yes, I was responding to the person who said “we're closer to this than people realize” hoping to learn what they had in mind.