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.