The Stacks Project, Formalized in Lean

This story is from 2026-11-05. It is preserved in the archive; the latest stories are on the live feed.

Article URL: https://axiommath.ai/research/the-stacks-project-formalized/ Comments URL: https://news.ycombinator.com/item?id=50380979 Points: 86 # Comments: 23

Read the full story at Hacker News Front Page ↗

Timeline · 1 report

2026-11-05 16:16 · Hacker News Front Page
The Stacks Project, Formalized in Lean

More stories

Election backlash against data centers rattles AI stocks and expansion plans — TechCrunch AI
Anthropic strikes $3.4bn deal for gas-fired generators to power AI data centres — Financial Times AI
OpenAI to keep expanding AI data centers despite election results favoring restrictions — DigiTimes Asia
Tencent AI chief warns AI will soon master biology, raising new safety risks — SCMP China Tech
Hydra-PSIE expands 'Coeziune OM–IA' DOI registry to 39 published works — DEV Community — AI
Developer's 48-Hour Field Notes Detail Free-Tier LLM Batch Job Failures — DEV Community — AI
Apple's John Ternus reportedly pushing for faster AI progress beyond Siri upgrades — Techmeme
US AI Safety Center Staff Now Report to White House, Raising Independence Concerns — AP News

Get the daily brief of stories like this at 6:30 every morning →