it may be a little unfair to expect syllabus development processes to keep up with rapidly changing online environments such as AI
so we turn to fields medalists such as terence tao to steer us in the right direction, and he has done so with a proofs-meets-AI article called "machine-assisted...