The High-Schoolers Who Just Beat the Smartest AI Models