A Google DeepMind AI ezüstérmet vihet haza összetett matematikai versenyen
Az eredmény azért figyelemre méltó, mert az AI-rendszerek általában nem boldogulnak az összetett matematikai kihívásokkal.
A mai mesterséges intelligencia (AI) rendszerek számos készséggel rendelkeznek, de általában elmaradnak az összetett matematikai problémák megoldásától. Éppen ezért a Google izgatott, hogy két DeepMind AI-rendszere képes volt megoldani több kihívást jelentő feladatot, amelyeket egy rangos matematikai versenyen vetettek fel.
Csütörtökön megjelent új bejegyzésében a Google bemutatta DeepMind AlphaProof és AlphaGeometry 2 AI modelljeinek okosságát és eredményeit. A 2024-es Nemzetközi Matematikai Olimpiára (IMO) bekerülve a két rendszer hatból négyet megoldott. Ez az erőfeszítés a Google mesterséges intelligenciáját jutalmazta első ízben egy ezüstérmessel ezen a versenyen, amely általában a fiatal matematikusoknak szól.
Az IMO minden évben meghívja a főiskola előtti elit matematikusokat, hogy megbirkózzanak hat rendkívül nehéz feladattal az algebra, a kombinatorika (nagyszámú objektum számolása, kiválasztása és elrendezése), a geometria és a számelmélet területén. Az embereken túlmutató verseny a gépi tanulás és az AI-rendszerek tesztelésének és mérésének egyik módja a fejlett matematikai érvelésben.
A Google mesterséges intelligencia által is értett formális nyelvre lefordított problémákkal az AlphaProof két algebrai és egy számelméleti feladatot oldott meg, nemcsak a választ megtalálva, hanem a válasz helyességét is bebizonyította. A Google a számelméleti kihívást nevezte meg a verseny legnehezebbnek, amelyet az emberi versenyzők közül csak öten oldottak meg. Az AlphaGeometry 2 kitalálta a geometriai problémát. De egyik modell sem tudta megoldani a két kombinatorikai problémát.
Az AlphaProof egy mesterséges intelligencia alapú rendszer, amely képes a matematikai állítások bizonyítására a Lean formális nyelv használatával. Egy előre betanított nyelvi modellt az AlphaZero megerősítő tanulási algoritmussal kombinálva az AlphaProof korábban megtanította magának, hogyan kell sakkban, shogiban és goban játszani és nyerni.
Az AlphaGeometry 2 az AlphaGeometry továbbfejlesztett változata. A Google Gemini mesterséges intelligenciáján alapuló modell képes kezelni a nagy kihívást jelentő geometriai problémákat, beleértve azokat is, amelyek az objektumok mozgását, valamint a szögek, arányok és távolságok egyenleteit fedik le.
Az AlphaProof és az AlphaGeometry 2 matematikai készségeinek tesztelésén túl a Google kihasználta az IMO-t, és kipróbálta a Geminire épített természetes nyelvű érvelési rendszert, amely fejlett problémamegoldó képességekkel rendelkezik. A másik két modellel ellentétben ez nem igényel problémákat a formális nyelvre történő lefordításhoz.
Bár ezeknek a modelleknek az elérése absztraktnak tűnhet, a Google egy újabb lépésnek tekinti az AI jövője felé.
"Izgatottan várjuk azt a jövőt, amelyben a matematikusok mesterséges intelligencia eszközökkel dolgoznak hipotézisek feltárása, merész új megközelítések kipróbálása a régóta fennálló problémák megoldásában, és a bizonyítások időigényes elemeinek gyors befejezése érdekében - és ahol a mesterséges intelligencia rendszerek, mint például a Gemini, képessé válnak. a matematikában és a tágabb érvelésben” - áll a cég közleményében.