Terry Tao Hopes AI Will Free Mathematicians From Unprovable First Conjectures
SammaVaco · reddit · 2026-11-02
A Reddit post quotes Terence Tao's blog essay: he hopes AI can help mathematicians break out of the straitjacket of being stuck on the first natural conjecture they cannot prove, and instead work on the deeper mysteries woven throughout mathematics.
More from AGI Musings
- Martin Ford vs Pedro Domingos debate whether AI will take most of our jobs — MFordFuture · 2026-11-02
- Ethan Mollick: GPT-4 alone would have had huge impact, just slower adoption — emollick · 2026-11-02
- Hamel Husain: AI benchmark companies are in the same business as credit rating agencies — HamelHusain · 2026-11-02
- Karpathy defines slop as "regretted attention"; idea: weekly self-labeling to train a personal AI filter — kellerjordan0 · 2026-11-02
- OpenAI researcher tells young people not to fret over 'missing' the LLM wave — daniel_c0deb0t · 2026-11-02
- Economists debate SFI ABM failure as data-driven agent-based models gain momentum — sebkrier · 2026-11-02