The Hard Part Is No Longer the Proof

October 16, 2026

Terence Tao's October talk argues that AI has ended mathematics' long age of proof scarcity, and that what is scarce now is imagination.

Type letters to fill the puzzle. Use arrow keys to move, Space to switch between across and down, Tab for the next clue, and Backspace to erase.

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263