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.
More from AGI Musings
- Mark Cuban: no chance AI replaces radiologists — models are outdated at release — Ghost_Pilot_MD · 2026-09-06
- Could AI conquer all of math within months? One argument says humans are just bad primates at it — burny_tech · 2026-09-06
- Alignment Researcher Argues Memetics, Not Agents, Should Be AI Alignment's Core Object — jachiam0 · 2026-09-06
- El Salvador's AI tutoring pilot in 171 public schools matches Germany and Sweden results — markjeffrey · 2026-09-06
- Researcher: writing a book beats research post-AGI — 'nothing left to invent' — avt_im · 2026-09-06
- China vs US AI gap debate: 1-2 years behind or only 3-6 months? — sven_ai · 2026-09-06