I wonder what kind of problems are they internally testing these frontier models if not math problems?