News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by andriy_koval on Friday September 04, 2026 @05:38PM (#49570533)
> I am sure a lot of this development was formalising the prerequisites

How can you be so sure its not result of inefficiency?

[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by black_knight on Friday September 04, 2026 @05:44PM (#49570589)
Oh, I am quite sure there are inefficiencies! Just that they are not entirely inefficiencies.

I have used Fable for formalisation and it will, unless I catch it, reprove results it previously had proven, inline, in other results.

[ Parent | on HN ]