Christian Szegedy: Fully Automating Strong Mathematical Reasoning Is Exciting; Math Will Become Infrastructure for All Sciences
ChrSzegedy · x · 2026-07-22
Christian Szegedy expresses excitement about the prospects of fully automating strong mathematical reasoning. He notes that mathematics has not yet lived up to its potential as the true infrastructure for all sciences and engineering, but soon it will.
More from AGI Musings
- Blogger argues longevity escape velocity and ASI will upend how we plan life — Dr_Singularity · 2026-10-26
- Authors dropped for AI-written books: scholar says transparency is the implicit reader contract — _akpiper · 2026-10-26
- Formal verification spat: specs are inherently limited against real-world threats — davidmanheim · 2026-10-26
- 'Show me your short positions': dev calls out AI bubble doubters — flowersslop · 2026-10-26
- Dutch government to cut 25,000 civil service jobs as it expands AI for admin work — Polymarket · 2026-10-26
- 2049 thought experiment: labs keep ASI for themselves and sell artifacts, not tokens — DavideCrapis · 2026-10-26