Il calcolo prima dell'affermazione
Ogni risultato proviene da un'esecuzione registrata, con input, parametri, versione del codice e modalità di esecuzione. Un segnaposto non viene mai presentato come risultato.
Ricerca avanzata su IA, quantistica e tecnologia
ALQERIS è l'ambiente di ricerca dell'ecosistema NEO AI. Pianificare la ricerca, eseguire calcoli reali, mettere alla prova ogni affermazione e sigillare ogni risultato con prove che chiunque può verificare.
In sviluppo - ambiente di ricerca privato
Integrato nell'architettura
laboratori di calcolo
tipi di attività sperimentali
dimensioni di prova indipendenti
strumenti di ricerca LILI soggetti ai permessi
Le cifre descrivono la progettazione software di ALQERIS. Non sono indicatori di utilizzo o di prestazione.
Visione
L'IA produce ormai affermazioni più velocemente di quanto chiunque possa verificarle. ALQERIS è costruito al contrario: nulla conta finché non è stato calcolato, registrato con la sua provenienza ed esposto alla verifica.
Ogni risultato proviene da un'esecuzione registrata, con input, parametri, versione del codice e modalità di esecuzione. Un segnaposto non viene mai presentato come risultato.
Fonti, dataset, esecuzioni e conclusioni restano collegati. Le fonti ritrattate vengono segnalate ovunque siano citate.
Le ipotesi smentite e i vicoli ciechi fanno parte dell'archivio. Non vengono mai cancellati, così nessuno li ripete alla cieca.
Revisione, validazione scientifica e firme appartengono alle persone. Il sistema le registra, non le imita.
I lab
Ogni lab esegue i calcoli in isolamento e dichiara come è stato prodotto ogni risultato: calcolo locale, simulatore, dati di prova o fornitore reale. Selezioni un lab per esplorarlo.
Misura l'affidabilità dei flussi di risposta dell'IA rispetto a una verità nota, così il comportamento di un modello viene valutato, non presunto.
EsecuzioneCalcolo locale
Algoritmi candidati si confrontano con una baseline fissa sotto un valutatore protetto, con ricerca per mutazione ed esperimenti adattivi.
EsecuzioneCalcolo locale
Simulazione di circuiti ideale e rumorosa, verificata rispetto a un riferimento classico esatto, con proiezioni delle risorse su scala fault-tolerant.
EsecuzioneSimulatore
Benchmark di kernel con riscaldamento, ripetizioni, controlli di correttezza e intervalli di confidenza: ogni dato di velocità porta con sé la sua incertezza.
EsecuzioneCalcolo locale
Un flusso di progettazione digitale: hardware descritto in codice, simulato rispetto a un riferimento e sintetizzato su una libreria di porte generica.
EsecuzioneSimulatore
Politiche di controllo testate in simulazione fisica con cambio di dominio. I risultati di simulazione sono indicati come tali, mai come misure fisiche.
EsecuzioneSimulatore
Modellazione con potenziali interatomici, solutori numerici verificati rispetto a modelli surrogati e regressione simbolica con controllo delle unità.
EsecuzioneCalcolo locale
Interventi e ablazioni su modelli causali strutturali, con il bias degli stimatori misurato rispetto a una verità nota.
EsecuzioneCalcolo locale
Enunciati verificati da un solutore SMT o da un assistente di dimostrazione. Una dimostrazione è segnata come verificata solo se il verificatore la accetta.
EsecuzioneCalcolo locale
Valutazione su dati riservati da parte di un valutatore sigillato. Le etichette dei benchmark non lasciano mai l'archivio, nemmeno per gli amministratori.
EsecuzioneValutatore sigillato
Un catalogo di API, dataset, modelli e strumenti, ciascuno con licenza, condizioni di accesso e costo, acquisito con punti di ripresa.
EsecuzioneDati di prova fino all'attivazione
Lab quantistico
I circuiti quantistici girano su simulatori ideali e sensibili al rumore e vengono confrontati con un riferimento classico esatto. Le proiezioni delle risorse stimano ciò che servirebbe a un hardware fault-tolerant. Un risultato non viene mai presentato come hardware se non è stato eseguito su hardware.
Metodo
Ogni progetto di ricerca segue lo stesso percorso. Ogni passo lascia una traccia che può essere letta, rieseguita e verificata.
I piani di ricerca vengono scritti, versionati e approvati prima dell'inizio dei lavori. Le ipotesi sono dichiarate in anticipo.
Ogni esecuzione avviene in isolamento, senza diritti di accesso permanenti, e registra input, output e modalità di esecuzione.
Repliche, controprove e benchmark sigillati cercano di invalidare il risultato prima che qualcuno vi faccia affidamento.
I risultati vengono confezionati come record canonici, sottoposti a hash, firmati e raggruppati in un albero di Merkle.
Chiunque possieda un pacchetto può verificarlo in modo indipendente, nel browser o da riga di comando.
Pubblicazioni, fascicoli di proprietà intellettuale e spazi per i partner vengono preparati a partire dalle prove. Nulla viene mai inviato o depositato automaticamente.
Registro delle prove
Integrità non significa validità. ALQERIS tiene separate nove dimensioni di prova e mostra ciascuna con il suo stato reale. Quando qualcosa non è stato misurato, lo dice.
Lotto Merkle - ogni risultato diventa una foglia, ogni foglia è legata a un'unica radice
Illustrazione dell'output del verificatore su un pacchetto dimostrativo.
Basato su standard aperti e verificabili in modo indipendente: JSON canonico, SHA-256, buste firmate e alberi di Merkle.
Archivio dei benchmark
Le risposte di un benchmark restano nell'archivio. Solo il valutatore protetto può leggerle, e restituisce un punteggio, mai le etichette. Né a un ricercatore, né a un amministratore, né a un'IA.
LILI, dentro ALQERIS
LILI, l'assistente dell'intero ecosistema NEO AI, lavora in ogni schermata di ALQERIS. Collega fonti, esperimenti e risultati e agisce solo con i diritti della persona che la interroga. Ogni chiamata a uno strumento viene registrata.
Strumenti di ricerca
Conversazione illustrativa su dati dimostrativi.
Sicurezza e governance
L'accesso inizia con un link di invito personale creato da un amministratore. Non esiste una registrazione pubblica.
Responsabili di ricerca, ricercatori, revisori, auditor e partner vedono e fanno solo ciò che il loro ruolo consente.
Ogni azione viene scritta in un registro di audit concatenato tramite hash, in sola aggiunta, che l'applicazione stessa non può riscrivere.
Ogni esecuzione avviene nella propria sandbox, senza ruolo permanente né segreti memorizzati.
I progetti sono privati per impostazione predefinita. Una voce nel registro pubblico richiede un'approvazione esplicita.
L'amministrazione centrale di NEO AI può supervisionare ALQERIS, ma nessuno può alterare le prove sigillate né le firme umane.
L'ecosistema NEO AI
ALQERIS è uno dei sei verticali di NEO AI, con altri venti in preparazione. Ogni verticale mantiene i propri dati e permessi, e tutti condividono la stessa intelligenza: LILI.
+ 20 verticali in preparazione
Scopri NEO AIA che punto è ALQERIS
ALQERIS è in sviluppo. Lo spazio di ricerca, i lab e il motore delle prove sono stati progettati e costruiti; il prototipo interattivo funziona su dati dimostrativi. L'accesso aprirà su invito.
Spazio di ricerca, undici lab, motore delle prove, integrazione di LILI.
Per il team di ricerca interno, con fonti di dati attivate una alla volta dopo la verifica delle licenze.
Spazi per i partner dedicati a collaborazioni di ricerca, su invito.
ALQERIS in breve
ALQERIS by NEO AI è un ambiente di ricerca avanzata su intelligenza artificiale, quantistica e tecnologie di frontiera. Un team di ricerca lo usa per pianificare il lavoro, eseguire calcoli, conservare ogni risultato con la sua provenienza, mettere alla prova le proprie affermazioni e sigillare prove verificabili.
Non ancora. ALQERIS è in sviluppo e il prototipo interattivo usa dati dimostrativi. Gli account vengono aperti su invito personale: chiunque può inviare una richiesta di accesso, e il team le esamina una per una.
Il Lab quantistico lavora con simulatori: simulazione di circuiti ideale e rumorosa, verificata rispetto a un riferimento classico esatto, e proiezioni delle risorse. Qualsiasi uso di hardware quantistico sarebbe una decisione separata ed esplicita, e i risultati verrebbero indicati di conseguenza.
Ogni risultato può essere sigillato in un pacchetto di prova: un record canonico, sottoposto a hash, firmato e incluso in un lotto Merkle. Un verificatore indipendente controlla il pacchetto nel browser o da riga di comando e mostra separatamente le nove dimensioni di prova.
LILI è l'assistente dell'ecosistema NEO AI. In ALQERIS aiuta a cercare fonti, formulare ipotesi, pianificare esperimenti, confrontare esecuzioni, collegare prove e redigere rapporti. Agisce solo con i permessi della persona che la usa, e ogni azione viene registrata.
ALQERIS è un verticale di NEO AI, sviluppato da NEO TECH LABS TECHNOLOGY L.L.C, Dubai, una controllata di My NEO Group.
Accesso
Gli account vengono aperti su invito personale. Ci dica chi è e che cosa desidera studiare: il team ALQERIS esamina ogni richiesta e risponde personalmente.
Ha già un account?Acceda al suo spazio ALQERIS.Accedi