Eigenius: un DBMS a grafo di conoscenza tipizzato per scienziati AI

È stato introdotto un nuovo sistema di gestione di database open-source, Eigenius, per affrontare i limiti degli script effimeri nella ricerca guidata dall'IA. Il sistema è progettato come un DBMS a grafo di conoscenza tipizzato che integra una teoria dei tipi dipendenti, le istituzioni come confini di integrazione e l'archiviazione immutabile indirizzata al contenuto. Eigenius mira a rendere la provenienza dei dati un invariante strutturale, garantendo che la domanda di audit 'cosa sai e qual è la tua garanzia?' possa essere risposta in modo affidabile. Il sistema si basa sulla premessa che un kernel unificato sia necessario per gestire prove interconnesse e stateful su larga scala. L'annuncio è stato fatto tramite il preprint arXiv 2608.04457, con il documento che dettaglia l'architettura e i suoi tre pilastri. Il sistema è posizionato come risposta all'emergere di 'scienziati AI' che guidano la ricerca tramite il Model Context Protocol (MCP). Eigenius impone stati epistemici come dichiarato, osservato, derivato e verificato, fornendo un quadro robusto per la gestione della conoscenza nei contesti AI.