Formalize All Human Math in a Year? Bold AI Plan Gets Eric Weinstein's Backing
AccBalanced · x · 2026-09-06
Jared Lichtman argues that with sufficient funding and compute, a coordinated effort among academia, frontier labs, philanthropies, and government could formalize all known human mathematics within a year — likening it to the Human Genome Project or AlphaFold. Eric Weinstein amplified the claim, admitting his earlier skepticism was a failure of imagination and praising Lichtman's track record in mathematical formalization. The post is a vision statement rather than a worked-out technical roadmap.
Related event: Researcher's proposal to formalize all human math in a year sparks debate(2 posts)→
More from AGI Musings
- MIT study: 83% of ChatGPT essay writers couldn't quote a single line they just wrote — victor_explore · 2026-09-06
- AI-generated philosophy competition offers $11,000 in prizes, adds alternative submission route — birchlse · 2026-09-06
- Narrative Agents: What Happens When AI Moves from Conversation to Relationship — begusgasper · 2026-09-06
- Blogger proposes RL paradigm that maximizes user agency and freedom — teortaxesTex · 2026-09-06
- Dev Overwhelmed by AI Release Blitz: GPT-6 Astra, Opus 5, Grok 4.6 and More — prasenx · 2026-09-06
- Ben Todd mocks AI risk debate: only focus on present dangers, never think ahead — ben_j_todd · 2026-09-06