The Stacks Project, Formalized in Lean
0 comments
- Points78
- Comments21
–Rank now
#21Peak rank
2Days on list
74Score · 7d
Nov 5, 2026First seen
Rank · 7 days
On Hacker News
- Points
- 78
- Comments
- 21
- Submitted by
- namanbnsl
- Posted
- Nov 5, 2026
- Site
- axiommath.ai
Story details from Hacker News ↗ · linked article on axiommath.ai.
Trending history
The Stacks Project, Formalized in Lean was first seen on Hacker News · Front page on Nov 5, 2026. Since then it has appeared in 60 checks on 2 different days. Its best position was #21 of 30, reached on Nov 5, 20:07 UTC. It dropped off the list after Nov 6, 08:07 UTC.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
21
21
Oct 26today
Metric history
Platform metric as reported by Hacker News.
From the discussion
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
After they announced the formalization of the classification of Finite Simple Groups, I immediately wondered "What would happen if you tried to formalize the Stacks Project?" Despite also being very long, it's the opposite of the CFSG: instead of a poorly organized set of results that contribute to proving one big…
Kind of ironic that (as of today) the most recent blog post from Oct 21 '26 on the original Stacks Project is "21 Oct 2026: No AI for now" A very good friend of mine is an algebraic geometer and all of the AI progress in math is, to put it mildly, bumming him out. And me too honestly! I understand the allure of doing…
Why would mathematicians want to build upon a corporate product? It's against the principles of free and open academic research.
Featured in
Archived daily, weekly and monthly lists that include this entry.
Hacker News 2 days, best #21
Questions
Is The Stacks Project, Formalized in Lean trending on Hacker News right now?
Not at the moment. It was last on the list on Nov 6, 08:07 UTC, after 2 days of trending.
What is the highest rank The Stacks Project, Formalized in Lean reached?
#21 on Hacker News · Front page, on Nov 5, 20:07 UTC. Trendoday checks this list every 15 minutes.
How long has The Stacks Project, Formalized in Lean been trending?
It was first seen on Nov 5, 2026 and has been on the list on 2 days (60 checks) since.
How much discussion did it get on Hacker News?
78 points and 21 comments; submitted by namanbnsl on Nov 5, 2026.