Terence Tao discusses AI in math via SAIR competitions

Terence Tao talks about how SAIR's mathematics competitions are pointing toward new research infrastructure for AI era. AI is accelerating proof generation and verification, but traditional systems weren't designed for AI-assisted proofs.