Get the latest tech news

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT

Get the Android app

Or read this on Hacker News

Read more on:

Photo of London

London

Photo of Fermat

Fermat

Photo of theorem

theorem

Related news:

Rescuing two PDP-11s from a former British Telecom underground shelter (2023)

Arva AI (YC S24) Is Hiring an AI Research Engineer (London, UK)

Crimson (YC X25) is hiring founding engineers in London

« Tim Cook says Apple ‘must’ figure out AI and ‘will make the investment to do it’

OpenAI’s contract clause could cut off Microsoft’s access to new AI models if "AGI" is declared, forcing high-stakes renegotiation of their partnership »