President Trump announced on Truth Social that Stephen Miller, previously deputy chief of staff for policy and homeland security adviser, will become his new White House chief of staff starting Monday. The move follows Susie Wiles' resignation on Thursday, after Republicans suffered sweeping midterm losses in the House and Senate. Sources say Trump had privately blamed Wiles for the election results and had also considered Steve Witkoff and Jay Clayton for the role.
wired.com
· 2026-11-06
Anthropic announced that an advanced prototype of its Claude AI model converted Andrew Wiles' famous proof of Fermat's Last Theorem into a fully computer-verified formal proof, spanning roughly 13 million lines of code. The task, expected to take human mathematicians about a decade, was completed by the AI in just 11 days. Researchers including Alex Kontorovich and Kevin Buzzard called the achievement astonishing given how quickly AI's formalization skills have advanced.
nature.com
· 2026-09-07
A complete formalization of Fermat's Last Theorem has been written and verified in the Lean 4 proof assistant, built atop the Mathlib library and following the Frey-Serre-Ribet-Wiles-Taylor-Wiles argument. The repository builds all 60,475 modules from scratch, with every declaration checked by the Lean kernel, and the final theorem relies solely on Lean's three standard axioms rather than any sorry or added axiom. An independent tool, leanprover/comparator, confirmed the proved statement matches a separately stated Mathlib-only challenge and that the entire proof chain replays correctly.
github.com
· 2026-09-04
GoKawiil