Elindult az Axiom 64 millió dolláros tőkével, hogy matematikai kihívásokat oldjon meg
Az Axiom egy új AI labor, amely egy AI matematikus megépítésére összpontosít. Egy 64 millió dolláros magvető (seed) körrel a startup a Meta Fundamental AI Research (FAIR) csoportjának kutatóit és a Stanford PhD-seit toborozta a szimbolikus érvelés és a haladó matematika kezelésére.
- Céljuk a legnehezebb létező matematikai problémák megoldása és potenciálisan újak generálása.
- Carina Hong, egy Stanfordról kimaradt hallgató alapította, a jelenlegi LLM-ek magas szintű logikai hiányosságaira fókuszálva.
- A csapat mély kutatási háttérre és magas szintű akadémiai elméletekre támaszkodik.
- Csatlakozik az „AI a tudományért” és a formális érvelésre összpontosító laborok egyre bővülő listájához.
Miért fontos?
A matematika az AGI elérésének egyik kulcsfontosságú akadálya; egy olyan specializált modell, amely uralja a matematikai logikát, új képességeket nyithat meg a szoftverfejlesztés, a kriptográfia és a fizika területén. ---
Kapcsolódó hírek