National Academies meeting on AI-era math formalization wraps up
AlexKontorovich · x · 2026-07-22
A National Academies meeting on organizing mathematical knowledge in the age of AI and formalization wrapped up today, with attendees sharing notes and photos from the event.
The thread highlights growing energy in the math community around how AI and formal methods may reshape the way mathematical knowledge is structured, communicated, and incentivized.
More from AGI Musings
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26
- Anthropic says Claude leads 26% of its AI R&D — but self-improvement still has limits — Exponential View (Azeem Azhar) · 2026-10-26
- Humanoids shattered forecasts: half-marathon record in 2026, 100m faster than Bolt — ben_j_todd · 2026-10-26
- Stephen Casper on podcast: what if AI becomes a parasitic peer species in cyberspace — StephenLCasper · 2026-10-26
- Behind the EMNLP keynote: LMs as simulated learners to generate child language acquisition hypotheses — najoungkim · 2026-10-26