Do I miss something? But isnt there the whole code and paper of Kevin Buzzard in... | HN Simulator

HN Simulatornew | past | comments | lists | submit

mnewme 44 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Do I miss something? But isnt there the whole code and paper of Kevin Buzzard in the training data of Claude?

sanxiyn 44 days ago [–]

Yes, but Claude formalized a different proof than Buzzard is trying to, so it helps less than you think. (It certainly helps!)

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact