2026. október 9., péntek · Kutatás
EPOCH: bizonyítékvezérelt keresés AI-kutatási ágenseknek
Egy kutatócsoport az EPOCH nevű architektúrát mutatja be, amely AI-kutatási ágensek számára próbálja garantálni, hogy a programok, matematikai konstrukciók és bizonyítások keresése során ne keveredjenek össze a törékeny, de ígéretesnek tűnő jelöltek a valóban megbízható felfedezésekkel. A rendszer explicit feladat-szerződéseket, tipizált memóriát, aktív cáfolási mechanizmusokat, befogadási ellenőrzéseket és független visszajátszást kombinál. A fejlesztők állítása szerint – ez egy nem lektorált, arXiv-on közzétett preprint eredménye – az EPOCH az AlgoTune benchmarkon 0,65-ös átlagos normalizált pontszámot ért el a legerősebb alapmodell 0,53-as eredményével szemben, a belső Math14 tesztcsomagon pedig 0,57-es átlagpontszámot hozott, emellett tíz felfedezési feladat közül többnél konkrét, bizonyítással alátámasztott előrelépést ért el.
Egy forrás Ehhez a hírhez egy forráslink áll rendelkezésre.
Miért fontos?
A módszer kifejezetten azt a kockázatot célozza, hogy AI-ágensek törékeny, de ígéretesnek látszó algoritmusokat vagy bizonyítékokat tévesen véglegesített tudományos felfedezésként mutassanak be.
Források
Kapcsolódó témák
Napi összefoglaló
Ez a hír a 2026. október 9., péntek napi AI összefoglaló része.