logoalt Hacker News

Goofy_Coyotetoday at 4:27 AM0 repliesview on HN

For math illiterate people like me, my understanding is that FLT was already proven, but the proof was beyond complex, certainly for mere mortals like me, and now Claude has codified it, correct?