tangenteAudio
Subscribe

Jun 24, 2026 · 6 min

AI proofs: the paradox highlighted by Terence Tao

This audio episode traces the shift from an empty task queue to a new bottleneck: reading and organizing proofs produced by AI and verified by Lean.

Collections containing this episode (7)

Original Tangente content, adapted into a podcast with the help of AI and validated by our editorial team. How does it work?

Listen next

Episodes that share a playlist, a figure or a field with this one.