Aleph: AI Ktorá Prekonáva Jazykové Modely vo Formálnom Uvažovaní
AI Aleph využíva modely založené na energii (EBM) pre formálne uvažovanie, prekonávajúc tradičné jazykové modely. Dosahuje 100% presnosť v benchmarkoch a rieši Putnamove problémy s certifikovanými dôkazmi. Alternatíva k predpovedaniu textu!
Video od Ksenie z Turing Postu sa ponorilo do fascinujúceho sveta modelov založených na energii (EBM), alternatívneho prístupu k umelej inteligencii, ktorý sa radikálne líši od bežných jazykových modelov. Namiesto predpovedania ďalšieho slova v sekvencii, EBM pristupujú k riešeniu problémov ako k uspokojovaniu obmedzení. Video predstavuje Aleph, AI, ktorá dosahuje pozoruhodné výsledky v oblasti formálneho uvažovania a prekonáva tradičné jazykové modely v rôznych benchmarkoch, vrátane PutnamBench a VeriSoftBench. Ksenia tiež zdôraznila dôležitosť prístupu Yanna LeCuna k „world models“ a JEPA (Joint Embedding Predictive Architecture), ktoré predstavujú ďalší krok smerom k skutočnému porozumeniu a uvažovaniu AI.
