I'm waiting for the reverse, coding agents asking Terry Tao if the proof they plan working on is worthy of a Fields Medal