Terence Tao: AI can't be fully trusted without formal verification
In ICM 2026 public lectures, Terence Tao discusses AI's role in mathematics, emphasizing that AI still makes mistakes and should be paired with formal verification. He compares AI to a helicopter for exploring mathematical landscapes.
Featured · Terence Tao
How this story unfolded
7 days · 4 reports · 1 community post · from Aug 13
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Suno 5.5 panned as 'garbage' for rock and metal in r/SunoAI
- Harvey launches Tenet, legal model post-trained on Kimi K3 base
- Grok Bot: xAI's AI agent gains traction with users
- Reddit user uses Codex to make Seedance 2.5 hit exact frame
- Genie Ontology from Databricks to help AI understand business context