The High-Schoolers Who Just Beat the World’s Smartest AI Models