CMU's Aran Nayebi says frontier AI models reached superhuman math performance · Digg