Logic（論理） The Erdős Hour: When a Fields Medalist Watched AI Rewrite the Minimum Bar of Mathematics
Fields Medalist Timothy Gowers watched ChatGPT 5.5 Pro produce doctoral-level combinatorics research in one hour. LSI examines what this means for mathematical sovereignty — and why the logical layer cannot audit itself.