Well, she certainly proved that there's at least one problem whose solution she can sometimes produce faster unaided than at least one high school student with

Well, she certainly proved that there's at least one problem whose solution she can sometimes produce faster unaided than at least one high school student with a calculator.