Az Anthropic modellje előrelépést tett a Riemann-hipotézis megoldásában
Egy kiadásra váró Anthropic modell 650 különböző ötletet tesztelt, 60 alügynök koordinálásával, jelentős előrelépést érve el a 150 éves Riemann-hipotézis megoldásában.
Az Anthropic bejelentette, hogy egy kiadásra váró modellje jelentős előrelépést tett a matematika egyik legnagyobb megoldatlan problémája, a 150 éve fennálló Riemann-hipotézis ügyében. A modell növelte azon megoldások alsó határát, amelyekre a hipotézis igaznak bizonyul.
A modell 650 különböző ötletet tesztelt a probléma megoldására, 60 alügynök koordinálásával, összesen 31 millió kimeneti tokent felhasználva. A kutatásban két alügynök felelt a kulcsfontosságú matematikai ötletek kidolgozásáért, 13 további ötleteket szállított, 30 kísérlet sikertelenül zárult, míg 13 ügynök validátorként ellenőrizte az érvelések helyességét. Két ügynök segítette a kezdeti cikk megírását — közölte a TechCrunch.
A felfedezést az Anthropic két belső matematikusa erősítette meg, és a Lean nyílt forráskódú bizonyítási asszisztenssel formalizálták. Ez a legújabb a nagy nyelvi modellek (LLM) által vezetett matematikai áttörések sorában. Idén már több Erdos-problémát is megoldottak AI-modellek, és a fejlettebb modellek kiadása egyre lenyűgözőbb eredményeket hoz.
Az OpenAI nemrégiben publikált 10 fő eredményt, amelyeket belső „Astra” modellje bizonyított, míg egy különálló Anthropic-erőfeszítés megcáfolta a régóta fennálló Jacobian-sejtést. Az eredmények egyre növekvő testülete vegyes izgalmat és aggodalmat váltott ki a matematikai körökben.
Egy júniusban aláírt nyilvános nyilatkozatban prominens matematikusok aggodalmukat fejezték ki, hogy az AI alááshatja a terület kritikus értékeit, különösen azt a standardot, hogy az igazi matematikai bizonyításokat „specifikus szerzőkhöz kellene kötni, akik elismerik felfedezésüket és felelősséget vállalnak helyességükért”.
A területen azonban továbbra is megoszlanak a vélemények arról, hogyan közelítsék meg a kutatók az új kutatási technikákat. A Fields-érmes Timothy Gowers egy blogbejegyzésben azt kérdezte, vajon az AI hatása komplexebb és pozitívabb módon változtathatja-e meg a matematikát.