Team Numina gewinnt ersten Fortschrittspreis der KI-Mathematikolympiade