November 5, 2026
Axiom Math translates the Stacks Project into Lean: 7,500 pages of machine-checkable mathematics
On Nov 4, Axiom Math released a formalization of the Stacks Project comprising around 16 million lines of Lean.
Loading the page.
who it's about
about the same entities
Release
Aina Ring: preorders for the ring that controls AI agents start at $399November 5
News
Aina: a $399 ring for giving AI agents voice commands and confirming actionsNovember 5
Insight
Super-Agent: DeepSeek's AI agent takes chat tasks for 1 GitHub repositoryNovember 5
Insight
AI shopping requires retailer consent: Amazon blocks MuseNovember 4
News
AI taxi bookings remain rare: Uber completed 4 rides in a quarterNovember 4
All news
One email a week - only what changes how you work. Subscribe