“An AI system solved a challenging mathematical problem posed by Terence Tao in days or weeks, a task that took leading human mathematicians 18 months to make progress on.”