Az IMO a legnagyobb és legrangosabb matematikai verseny, amely évente kerül megrendezésre. A versenyen a világ legtehetségesebb fiatal matematikusai vesznek részt, és az esemény egyre inkább kihívásként szolgál a gépi tanulás és az AI fejlesztők számára is. Az AlphaProof és AlphaGeometry 2 rendszerek eredményei először értek el ezüstérmes szintet az AI kategóriában.
Az IMO problémák algebrai, kombinatorikai, geometriai és számelméleti feladatokat tartalmaznak, amelyeket a versenyzők két 4,5 órás ülés során oldanak meg. Az AlphaProof és AlphaGeometry 2 rendszerek különleges elismerést kaptak, mivel az IMO szervezői által összeállított problémák megoldásait a neves matematikusok, Prof Sir Timothy Gowers és Dr Joseph Myers értékelték. Az AI rendszerek végül 28 pontot értek el a maximális 42 pontból, ami az ezüstérem szintjét jelenti, és mindössze egy ponttal maradtak el az aranyérmes küszöbtől, amelyet 58 versenyző ért el az összesen 609 közül.
Forrás:
„AI achieves silver-medal standard solving International Mathematical Olympiad problems„
