Vietnam.vn - Nền tảng quảng bá Việt Nam

KI hat das Niveau einer Goldmedaille bei der internationalen Mathematik-Olympiade erreicht

Báo Tuổi TrẻBáo Tuổi Trẻ16/02/2025

Google hat KI-Ergebnisse veröffentlicht, die zeigen, dass AlphaGeometry 2 des Unternehmens das Niveau von Schülern erreicht hat, die bei der Internationalen Mathematik-Olympiade Goldmedaillen gewonnen haben.


AI đạt trình độ huy chương vàng Olympic toán quốc tế - Ảnh 1.

Die Internationale Mathematik-Olympiade ist ein jährlicher Wettbewerb für talentierte Schüler – Foto: Nature.com

Seit Januar 2024 präsentiert das Google DeepMind-Team in Nature , der führenden renommierten wissenschaftlichen Zeitschrift, ein KI-Tool zur Lösung von AlphaGeometry-Problemen, das weltweit für Erstaunen sorgt. DeepMind demonstrierte das Niveau der Schüler, die bei der Internationalen Mathematik-Olympiade (IMO) Silbermedaillen gewannen.

Vietnamesische Wissenschaftler nehmen teil

Am 5. Februar 2025 gab das KI-Team von Google DeepMind die Ergebnisse seines neuen Systems AlphaGeometry 2 bekannt, das die durchschnittliche Punktzahl der IMO-Goldmedaillengewinner übertraf. Die Ergebnisse wurden in einer vorab veröffentlichten Tabelle beschrieben und auch in Nature veröffentlicht.

Eine Besonderheit besteht darin, dass zu den Forschungsmitgliedern dieser Google DeepMind-Gruppe drei vietnamesische Wissenschaftler (THTrinh, Y.Wu, QVLe, H.He und T.Luong) in der Arbeit von 2024 und vier Vietnamesen (Yuri Chervonyi, Trieu H.Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang Nguyen, Marcelo Menegali, Junehyuk Jung, Vikas Verma, Quoc V.Le und Thang Luong) in der Arbeit dieses Jahres (2025) gehören.

„Ich denke, es wird nicht mehr lange dauern, bis Computer bei der IMO die volle Punktzahl erreichen“, sagt Kevin Buzzard, Mathematiker am Imperial College London.

Das Lösen euklidischer Geometrieprobleme ist eines der vier Themen der IMO-Mathematikprüfungen. Die weiteren Themen umfassen Zahlentheorie, Algebra und Kombinatorik. Geometrieprobleme erfordern besondere Fähigkeiten, da die Kandidaten strenge Beweise mit geometrischen Objekten in der Ebene vorlegen müssen.

Im vergangenen Juli wurde AlphaGeometry 2 zusammen mit einem neuen System namens AlphaProof veröffentlicht, das von DeepMind entwickelt wurde, um Probleme zu lösen, die nicht zu den Geometrieproblemen im internationalen Olympiaden-Set gehören.

Ich denke, es wird nicht mehr lange dauern, bis Computer bei IMO die volle Punktzahl erhalten.

Kevin Buzzard (Mathematiker am Imperial College London, Großbritannien)

Sprache der Mathematik

Das KI-Team von Google hat das „Sprachmodell“ von DeepMind darauf trainiert, eine gängige mathematische Sprache zu sprechen. Dadurch kann es die logische Richtigkeit seiner Ausgabe automatisch überprüfen – und die falschen oder inkohärenten Aussagen aussortieren, die KI-Chatbots häufig machen.

Für AlphaGeometry 2 hat das Team eine Reihe von Verbesserungen vorgenommen, darunter die Integration von Googles hochmodernem Sprachmodell Gemini. Das Team führte außerdem die Fähigkeit der KI ein, durch das Verschieben geometrischer Objekte auf einer Ebene zu schlussfolgern – beispielsweise durch das Verschieben eines Punkts entlang einer Linie, um die Höhe eines Dreiecks zu verändern – und lineare Gleichungen zu lösen.

Das AlphaGeometry 2-System kann 84 % aller Geometrieprobleme lösen, die in den letzten 25 Jahren bei IMO-Mathematikwettbewerben gestellt wurden, was einem olympischen Goldmedaillenniveau entspricht, verglichen mit den 54 %, die AlphaGeometry erreicht hat.

Im letzten Jahr erreichten KI-Teams in Indien und China mit anderen Methoden ebenfalls Goldmedaillen-Niveau in Geometrie, allerdings bei einer kleineren Anzahl von IMO-Geometrieproblemen.

Die Autoren des DeepMind-Artikels schreiben, dass zukünftige Verbesserungen an AlphaGeometry das Lösen mathematischer Probleme mit Ungleichungen und nichtlinearen Gleichungen umfassen werden, was bedeutet, dass es in der Lage sein wird, die gesamte Bandbreite geometrischer Probleme zu lösen.

Rasanter Fortschritt

Der mit 5 Millionen Dollar dotierte Preis, der sogenannte AI Math Olympiad Prize, geht an das erste KI-System, das bei einer gesamten Mathematik-Olympiade eine Leistung auf Goldmedaillenniveau erzielt. Voraussetzung dafür ist, dass diese Systeme Open Source sind, was DeepMind bislang nicht getan hat.

Kevin Buzzard sagte, er sei nicht überrascht von den schnellen Fortschritten sowohl von Google DeepMind als auch von den indischen und chinesischen Teams. Er fügte jedoch hinzu, dass die Probleme zwar schwierig, aber konzeptionell einfach seien und es viele Herausforderungen zu bewältigen gebe, bevor KI Probleme auf der Ebene der mathematischen Forschung angehen könne.

Gespanntes Warten auf die kommende Internationale Mathematik-Olympiade

KI-Forscher fiebern der Internationalen Mathematik-Olympiade (IMO) im Juli an der australischen Sunshine Coast entgegen. Sobald die Wettbewerbsaufgaben den Teilnehmern zugänglich gemacht werden, dürfen KI-Systeme sie möglicherweise auch lösen. (KI-Teams dürfen nicht am Wettbewerb teilnehmen und haben daher keinen Anspruch auf Medaillen.)

Solche neuartigen Probleme gelten als die zuverlässigsten Tests für KI-Systeme, da sie entweder völlig neu sind oder ihre Lösungen noch nicht aufgetaucht sind und daher in Trainingsdaten vermieden werden, wodurch die Ergebnisse der KI-Lösung ihre Integrität verlieren.


[Anzeige_2]
Quelle: https://tuoitre.vn/ai-da-dat-trinh-do-huy-chuong-vang-olympic-toan-quoc-te-20250216075505787.htm

Kommentar (0)

No data
No data

Gleiches Thema

Gleiche Kategorie

Lotustee – Ein duftendes Geschenk der Hanoi
Mehr als 18.000 Pagoden im ganzen Land läuteten heute Morgen Glocken und Trommeln, um für nationalen Frieden und Wohlstand zu beten.
Der Himmel über dem Han-Fluss ist „absolut filmisch“
Miss Vietnam 2024 heißt Ha Truc Linh, ein Mädchen aus Phu Yen

Gleicher Autor

Erbe

Figur

Geschäft

No videos available

Nachricht

Politisches System

Lokal

Produkt