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
- François Fleuret: Only Two Long-Term Futures — No Super AI, or Staying Fully Human With It — francoisfleuret · 2026-09-11
- IG reel debunking the 'winning the AI race against China' fallacy hits 500k likes — louisvarge · 2026-09-11
- Post-AI World Leaves No Room for Learning on the Job — rachittshah · 2026-09-11
- Researcher questions AI safety eval firm, citing 'blatantly sloppy' security and monitoring — Kyrannio · 2026-09-11
- AI researcher memes agent-swarm tinkering with He Jiankui's embryo-editing quote — dejavucoder · 2026-09-11
- nabla_theta: happy to be wrong if the AI utopia arrives with little ex ante risk — nabla_theta · 2026-09-11