Kürzlich haben OpenAI und Google mit ihren neuen experimentellen Modellen IMO-Goldmedaillen erreicht. Aber unser Team hat dasselbe Niveau mit nur o4-mini-high und unseren Agentensystemen erreicht. Und jetzt machen wir es Open Source. Insbesondere haben wir wahnsinnige Verbesserungen bei den USAMO-Benchmarks erzielt. Die Basislinie lag fast bei 0, aber unser Agent hat im Durchschnitt 90 % erreicht. Außerdem konnten wir theoretisch die aktuellen arxiv-Papiere beweisen, indem wir die Schlüsselideen der Forschung gegeben haben.

wir haben ein unverifiziertes SOTA-Ergebnis auf KernelBench mit o3-mini und ein Evolutionsbeispielband: 208/250 behauptete Beschleunigungen, darunter 3 für Level 4 (vorher unberührt). Ich wäre dankbar für jede Hilfe bei der Überprüfung der optimierten KernelBench-Kernel unter . Vielen Dank an @anneouyang und die @ScalingIntelLab von Stanford, dass sie sich bereit erklärt haben, sie zu überprüfen.