← Back
software
Prime Number Theorem and More (PNT+) project
Last discussed Oct 26, 2026
A collaborative Lean formalization project for the Prime Number Theorem and related results in analytic number theory.
Recently discussed in
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Alex Kontorovich · Oct 26, 2026
What creators say
AK
Alex Kontorovich
mentioned
"They'll write Lean code that builds on top of Mathlib, builds on top of the Prime Number Theorem Plus project or whatever, and checks that it has indeed solved this problem down to the axioms."
More from Alex Kontorovich →Keep exploring
Topics
About this data
- ✓48,000+ mentions extracted from real podcast transcripts
- ✓Every quote links to the source episode
- ✓Sponsored mentions are always labeled
- ✓Critical takes are shown, never filtered out
Get an email when a new creator recommends it