AI formalizes Fermat's Last Theorem in 30 hours, Yang-Mills construction wins Nobel laureate committee sign-off
rand_longevity · x · 2026-11-12
This week saw two notable AI formal-math milestones: one AI system formalized Fermat's Last Theorem in 30 hours, while another produced a Yang-Mills construction that was signed off by a committee led by a Nobel laureate. The author suggests biology is the next frontier for such capabilities.
Related event: 1,000 AI agents formalize Fermat's Last Theorem proof in 30 hours(3 posts)→
More from Research
- Dense rewards lose to standard GRPO at matched compute, arXiv paper finds — burny_tech · 2026-11-12
- Wayve unveils Learned Safety Envelope: end-to-end trained live risk prediction for AI driving — alexgkendall · 2026-11-12
- HipKittens turns one: breaking AMD's 'CUDA moat' for a multi-silicon future — simran_s_arora · 2026-11-12
- Why world model teams pay for gameplay with inputs attached: actions are the scarce half — KnowledgeOk7634 · 2026-11-12
- Uno uses discrete diffusion for up to 3x lossless LLM inference speedup, talk Nov 13 — burny_tech · 2026-11-12
- Pro-0 trains dexterous robot hands from human demos with zero on-robot data — chris_j_paxton · 2026-11-12