Tao warns AI must earn mathematicians’ trust, not just prove theorems
Terence Tao’s ICM 2026 talk outlines how AI can generate and verify proofs, but stresses that true impact hinges on clear exposition and community acceptance. He warns that opaque, proprietary models won’t replace the human role of digesting and integrating results into textbooks and future research.