There's a scenario in which those of us who acquired academic expertise in the pre-AI era will, like old printed books, become valued for our lack of contamination. Let's just hope we never end up in the shredder.
Steve Huntsman@stevehuntsman.bsky.social · last wk.From Terry Tao’s ICM lecture. While there are additional arrows later that aren’t shown here, verification informs exposition. If an AI proof is autoformalized before it is understood and reworked by a human, the result will be more conceptually brittle even if evidently correct. /1
