Terence Tao unterstützt es! Bekanntgabe des AI Mathematical Olympiad Progress Award mit Preisen im Wert von mehr als 1 Million US-Dollar

Wie kann ein großes Modell mathematische Probleme lösen? Sie können es genauso gut an diesem Wettbewerb teilnehmen lassen. „Vorläufige Ergebnisse für die KI-Mathematische Olympiade (AIMO Progress Award) wurden bekannt gegeben. Den Ranglistendaten zufolge scheint es derzeit so, dass das Gewinnerprogramm im privaten Test 29/50 Fragen richtig beantwortet hat, was ein höheres Ergebnis als erwartet ist.“ „Gerade hat Tao Zhexuan die Neuigkeiten in seinem persönlichen Blog bekannt gegeben.

AIMO stammt von XTX Markets, einem Nichtbanken-Finanzinstitut, das sich auf den quantitativen Handel mit maschinellem Lernen spezialisiert hat. Ziel dieses Fortschrittspreises ist es, ein System zu schaffen, das KI-Modelle verwendet kann komplexe mathematische Probleme lösen, die im LaTeX-Format geschrieben sind. Dies trägt dazu bei, die mathematischen Denkfähigkeiten von Modellen der künstlichen Intelligenz zu fördern und die Entwicklung von Spitzenwissen zu fördern.
Es ist erwähnenswert, dass dies das erste Mal ist, dass der Progress Award verliehen wird und das Gewinnerteam um ein Preisgeld von 1,048 Millionen US-Dollar kämpfen wird. Die teilnehmenden Fragen umfassen Fragen aus Mathematikwettbewerben der Mittelstufe, deren Schwierigkeitsgrad jedoch nicht das Niveau der Internationalen Mathematikolympiade (IMO) erreicht. Um sich für die Auszeichnung zu qualifizieren, müssen die Teams ihren Code, ihre Methoden, Daten und Modellparameter öffentlich veröffentlichen.
Anhand der Rangliste können wir sehen, dass Numinas Team den ersten Platz gewann, CMU_MATH den zweiten Platz belegte, nach Prüfungen vorübergehend den dritten Platz belegte und die Teams von Codeinter und Conor Nr. 2 den vierten bzw. fünften Platz belegten. Gemäß den Regeln beträgt die maximale Anzahl der teilnehmenden Teams 5 Personen, und zwei der ersten fünf sind Einzelspieler.

Die von allen verwendeten Modelle sind ebenfalls unterschiedlich, einschließlich Mixtral・8x7b, Gemma, Llama 3 usw.

1. An der Internationalen Mathematikolympiade der IMO nahmen schon immer Enthusiasten teil, die sich auf Mathematik spezialisiert haben. Da sich die Fähigkeiten großer Modelle jedoch immer weiter verbessern, wird ihren Leistungen in der Mathematik immer mehr Beachtung geschenkt.

2. Der Fokus aller Tests hat sich nach und nach von ähnlichen Fragen für die Hochschulaufnahmeprüfung auf die olympische Arena verlagert. Zuvor lag der Fokus bei AlphaGeometry von Google DeepMind auf der Natur. Diese Forschung löste 25 der 30 olympischen Probleme und näherte sich der Internationalen Mathematikolympiade. Durchschnittliche Leistung der Goldmedaillengewinner des Wettbewerbs.
3. Mit der Explosion großer Modelle haben mehr als ein Unternehmen begonnen, das Olympia-Problem in Frage zu stellen. Was wird das Ergebnis sein, wenn sie miteinander konkurrieren?
4. Letzten November wurde ein speziell für KI ins Leben gerufener Mathematikwettbewerb mit einem Preisgeld von 10 Millionen US-Dollar ausgelobt. Ziel war es, die Entwicklung offener Modelle für künstliche Intelligenz anzuregen, damit sie bei der Internationalen Mathematikolympiade (IMO) mit Spitzenmenschen gleichwertig sein können hervorragend. Der Progress Award wird im Rahmen der AIMO Awards verliehen.

   

   Die Beiratsmitglieder von AIMO sind alle große Namen der Mathematik, darunter die Fields-Medaillengewinner Timothy Gowers und Terence Tao, und sie dienen zusammen mit Po-Shen Loh, Dan Roberts und Geoff Smith.

   

   Referenzlink: https://aimoprize.com/participate

Das obige ist der detaillierte Inhalt vonTerence Tao unterstützt es! Bekanntgabe des AI Mathematical Olympiad Progress Award mit Preisen im Wert von mehr als 1 Million US-Dollar. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!