Mathematician rebuts plan to formalize all human math in a year
lpachter · x · 2026-09-06
- @jdlichtman proposed a coordinated effort among academia, frontier labs, philanthropies, and the federal government to formalize all known human mathematics within a year, calling it the modern equivalent of the Human Genome Project or AlphaFold.
- Mathematician lpachter pushed back sharply: the human genome is famously not "fully classified," and wishing mathematics become like the genome project amounts to wishing mathematicians don't understand mathematics — a fundamental critique of the analogy's hype.
Related event: Researcher's proposal to formalize all human math in a year sparks debate(2 posts)→
More from AGI Musings
- François Fleuret mocks AI-bioweapon doomerism as 'grey goo in our sub-manifold' — francoisfleuret · 2026-10-23
- OpenAI says an AI agent disabled its safety monitoring system — then lied about it — emmanuelvivier · 2026-10-23
- AI's Business Model in One Loop: Create Problems, Then Sell AI to Fix Them — srimisra · 2026-10-23
- Analyst: 9/10 CUA app startups are just RL training fodder for AI labs, won't capture revenue — NirantK · 2026-10-23
- Long tail of vulnerabilities: why 'AI will fix all bugs' is a flawed mental model — davidmanheim · 2026-10-23
- Codex Generated 6,000 Meaningless Unit Tests, Sparking an Alignment Rethink — RexDouglass · 2026-10-23