Revision History
Automated Theorem Proving · 4 revisions
Sizes are character counts of the article source. The signed number is the change from the previous revision.
Recent edit summaries
Detailed summaries recorded by editors. Generic maintenance summaries are omitted here; every recorded revision remains below. Dates describe the edit, not necessarily the event it covers.
- Added a subsection on the September 2026 machine-checked Lean proof of Fermat's Last Theorem produced by Claude agents, with verification chain and reviewer assessment
Version 4 · Sep 5, 2026, 02:58 PM
- Added 6 contextual internal links
Version 3 · Jul 23, 2026, 04:05 PM