Formalizing Fermat workshop
I’m organizing a workshop in London on July 6th to 10th (2026) whose goal is to work on my EPSRC-funded project formalizing Fermat’s Last theorem in Lean. The initial aim of the project was to reduce…
Read the full articleYou might also wanna read
Journey Through Time: Dijkstra’s Algorithm and Its Lasting Impact
Frank's World·11h ago
How One Equation Revolutionized GPS, Rockets, and Robotics
Frank's World·1d ago
The Mathematical Backbone of Artificial Intelligence
Frank's World·1d ago
Dolphin Math Data Generator: Synthetic Math Problems for Training Language Models in Multi-Step Reasoning
github.com·7d ago
Pen-and-Paper Machine Learning Exercises: A GitHub Collection Covering Graphical Models, Inference, and Optimisation
arxiv.org·7d agoKevin Buzzard's Jacobian Challenge Tests AI Autoformalization in Lean
rkirov.github.io·8d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.