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
- AI lab staff have gone strangely quiet about next-year capability predictions — ChrisGPT · 2026-07-27
- AI could erode science by flooding research with credible slop — rbhar90 · 2026-07-27
- Organizations may already be the planet’s superintelligences — eldonredwards · 2026-07-27
- In the AI race, the only durable moats may be energy and information — GregKamradt · 2026-07-27
- “Build AGI, then open source it,” says one poster — wordgrammer · 2026-07-27
- Jason Crawford says AI “alignment” should give way to ethics and law — Afinetheorem · 2026-07-27