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
- Replit CEO on the 'self-driving company': agents to absorb coordination costs by 2030 — amasad · 2026-10-27
- US senator slams AI industry for proposing 50-death threshold for 'catastrophic incident' — peterwildeford · 2026-10-27
- Replit CEO Says AI Makes All Software De Facto Open Source; Aakash Gupta Asks What Moats Remain — aakashgupta · 2026-10-27
- Understanding the AI consciousness debate: which theory of mind is behind it — msharmas · 2026-10-27
- Functionalism: if consciousness is just what the brain computes, silicon can run it too — msharmas · 2026-10-27
- iPhone case with 85,000 reviews in days: everything fake in the age of abundance — tekbog · 2026-10-27