I loved the appearance of Bill Thurston. He proved enough of what he saw to be considered one of our greatest mathematicians, but his brilliance was what he saw.

The obvious question Terry Tao seems not to address: AI mops up our unsolved problems? Whose unsolved problems? The architecture of mathematics will remain a human endeavor long after we replace human construction workers with machines.