Az OpenAI GPT-5.6 Sol Ultra modellje egy figyelemre méltó eredménnyel került a hírekbe: a beszámolók szerint kevesebb mint egy óra alatt bizonyítást adott a Cycle Double Cover (ciklikus kettős lefedés) sejtésre, amely körülbelül ötven éve várt megoldásra a gráfelméletben.
64 alügynök párhuzamosan
A modell nem egyetlen menetben dolgozott: 64 alügynököt futtatott párhuzamosan, amelyek együtt keresték a bizonyítás lépéseit. A megközelítés jól mutatja, merre tart a fejlődés – a nagy nyelvi modellek egyre inkább koordinált ügynökcsapatként, nem magányos válaszgenerátorként végzik a nehéz feladatokat.
Miért fontos?
A Sol Ultra ugyanazon a napon vált általánosan elérhetővé, amikor több más nagy fejlesztői bejelentés is érkezett. Ha az eredmény kiállja a szakmai ellenőrzés próbáját, az egyik első példa lehet arra, hogy egy AI-modell önállóan zárjon le egy évtizedek óta nyitott matematikai problémát.
Az eredményt érdemes óvatosan kezelni: a matematikai bizonyítások értékét mindig a közösség független ellenőrzése adja meg, ami időbe telik.