Genius or Subpar AI Mathematician?