Autonomous Lab AI · Scoperta autonoma di materiali
Un laboratorio a guida autonoma non fallisce perché il suo ottimizzatore è debole. Fallisce perché un'ampia percentuale degli esperimenti eseguiti è chimicamente impossibile sin dalla prima riga della ricetta e perché nulla di tutto ciò è dimostrabile a posteriori. In questo benchmark, il nostro ciclo chiuso Design-Make-Test-Analyze raggiunge specifiche rigorose in 75 esperimenti laddove lo screening casuale ne richiede circa 1.491, mentre un safety gate con gemello digitale blocca ogni sintesi non fattibile prima che vengano spesi reagenti o ore-robot, firmando ogni decisione in un record ALCOA+ a prova di manomissione. Gli agenti consigliano, il codice decide.
$4.419
Spreco di reagenti evitato dal gate con gemello digitale, bloccando 38 sintesi condannate al fallimento e risparmiando 90,1 ore-robot
Esecuzione benchmark con seed 411, obiettivo sintetico
20× meno
75 esperimenti per ottenere un materiale conforme alle specifiche rispetto a circa 1.491 per lo screening casuale sullo stesso obiettivo nascosto
Esecuzione benchmark con seed 411, 19,9 volte meno
113
Record ALCOA+ con concatenazione hash, uno per decisione, a prova di manomissione. Modificane uno e la catena si spezza
Esecuzione benchmark con seed 411, 75 sintesi più 38 blocchi
Una demo eseguibile del meccanismo applicato a una ricerca di composizione e processo per perovskiti senza piombo a 18 dimensioni. L'ottimizzatore e il safety gate vengono eseguiti interamente in numpy e scipy senza alcuna chiave API; i due agenti advisor sono l'unica parte in grado di chiamare un modello.
Il collo di bottiglia non è il modello surrogato. Sono gli esperimenti condannati al fallimento che il modello non avrebbe mai dovuto proporre e il fatto che nulla sia dimostrabile a posteriori.
L'A-Lab di Berkeley ha riportato un tasso di successo del 71 percento, il che significa che circa il 29 percento dei tentativi non ha prodotto il bersaglio desiderato (A-Lab, Nature, 2023). In un laboratorio autonomo, tale quota di fallimenti non è solo una resa mancata: sono reagenti dosati, ore-robot prenotate e tempo strumento bruciato in sintesi con sbilanciamento di carica, geometricamente instabili o chimicamente pericolose prima ancora che il robot si muovesse.
Lo spazio di ricerca peggiora ulteriormente le cose. Uno spazio di composizione e processo per perovskiti di queste dimensioni è astronomicamente più grande di qualsiasi budget di screening, quindi il puro screening non è una strategia, è una lotteria. Una verifica di fattibilità separata su questo benchmark ha riscontrato un tasso di successo casuale dello 0,01 percento, 8 candidati su 80.000, il che implica un'attesa nell'ordine di 10.000 esperimenti per raggiungere un primo obiettivo con il solo screening. Una funzione di acquisizione migliore aiuta a risolvere questa metà del problema.
Non fa nulla, invece, per l'altra metà. Un modello predittivo delle proprietà, per quanto valido, non può decidere se sia sicuro tentare una sintesi e non può produrre un record che un ente regolatorio o il vostro controllo qualità accetteranno. I principi guida di FDA ed EMA per l'IA nello sviluppo farmaceutico stabiliscono esplicitamente che la provenienza deve essere attribuibile e contemporanea (FDA/EMA, 2026). Fattibilità e verificabilità sono esattamente gli aspetti che il modello non tocca, e sono le due lacune che abbiamo deciso di colmare.
Un ciclo Design-Make-Test-Analyze, mostrato una fase alla volta. La decisione di fattibilità risiede nel codice puro, mai in un modello.
Il ciclo esplora uno spazio a 18 dimensioni di perovskiti senza piombo: rapporti dei cationi Cs, MA e FA, sostituzione del sito B con Sn, Ge e Bi, rapporti degli alogenuri I, Br e Cl, oltre alle variabili di processo. Un surrogato con processo gaussiano e funzione di acquisizione in stile ParEGO orientata agli obiettivi propone il candidato successivo, avviato a freddo da un fixture storico di 60 record. Ogni proposta passa quindi attraverso il gate prima che venga sintetizzato alcunché: è dunque il gate, non la confidenza dell'ottimizzatore, a interporsi tra la ricetta e il robot.
Il gate con gemello digitale è la parte esterna a qualsiasi modello linguistico. Ogni candidato proposto viene verificato rispetto a cinque regole chimiche reali e pubblicate prima di poter consumare un reagente, e il gate restituisce 'fattibile' o 'bloccato' con l'esatta regola violata e il budget di reagenti e le ore-robot risparmiati. Si tratta di puro codice numpy e scipy, collocato all'esterno degli agenti e del surrogato, e costituisce la decisione portante. Una ricetta fallimentare viene fermata qui, non scoperta dopo che il robot l'ha già eseguita.
Al di sopra del nucleo centrale, due agenti leggono e comunicano. Un Lab Director narra la strategia della campagna e un Critic segnala in modo indipendente derive o stalli, fungendo da verificatore nel ciclo. I provider sono intercambiabili tramite l'impostazione LLM_PROVIDER con valore predefinito claude-opus-4-8; in assenza di chiave API ricorrono a una narrazione deterministica, garantendo che la demo sia sempre eseguibile. L'ottimizzatore e il gate non dipendono mai dall'LLM. Gli agenti consigliano, il codice decide.
| Controllo | Cosa rileva | Fondamento |
|---|---|---|
| Fattore di tolleranza di Goldschmidt | Composizione esterna alla finestra di formabilità della perovskite; il gate utilizza una banda di screening compresa tra 0,78 e 1,05. | Cristallochimica delle perovskiti |
| Fattore ottaedrico | Rapporto di raggi esterno alla finestra degli ottaedri stabili compresa tra 0,41 e 0,90. | Cristallochimica delle perovskiti |
| Neutralità di carica | Carica del sito B non compensata, ad esempio dalla sostituzione con Bi(III). | Bilancio di carica ionica |
| Rischio di ossidazione di Sn(II) | Sn(II) che si ossida in aria umida, non sicuro e destinato a fallire all'umidità di processo. | Stabilità degli alogenuri di stagno |
| Soglia massima di decomposizione | Ricottura al di sopra della temperatura alla quale i cationi MA e FA si degradano, circa 190 gradi Celsius. | Stabilità termica dei precursori |
Il valore durevole risiede nel safety gate e nell'audit trail, non in un modello surrogato migliore. Anche un modello predittivo perfetto non può impedire l'esecuzione di una sintesi con sbilanciamento di carica o rischio di ossidazione, né può produrre un record accettabile per un ente regolatorio. L'ottimizzatore è un singolo componente sostituibile all'interno di questo livello di controllo, motivo per cui l'approccio non diventa obsoleto con il progredire dei modelli. Nella configurazione fornita, l'ottimizzatore è un GP in numpy e scipy con acquisizione orientata agli obiettivi; l'equivalente per la produzione è BoTorch e Ax.
Tutti i numeri riportati di seguito provengono da una singola campagna di benchmark deterministica (seed 411), calcolati in tempo reale in fase di esecuzione e non preimpostati. L'obiettivo è un benchmark sintetico fisicamente motivato, non dati DFT o di laboratorio reali, e il laboratorio è un simulatore dietro un'interfaccia basata su SiLA-2. Nulla di quanto mostrato è stato sintetizzato fisicamente.
Il ciclo chiuso raggiunge le specifiche target all'esperimento 75, impiegando 19,9 volte meno esperimenti rispetto ai circa 1.491 previsti dallo screening casuale sull'identico obiettivo nascosto. Accanto ad essa, il tabellone tiene traccia delle metriche che contano più della sola velocità: 4.419 dollari USA di spreco di reagenti evitati, 90 ore-robot risparmiate e 38 candidati non fattibili bloccati prima della sintesi, con stato delle specifiche impostato su 'specifiche soddisfatte'. L'efficienza è concreta, ma lo spreco evitato e la tracciabilità della provenienza sono gli elementi che rimangono validi a prescindere dalla qualità del modello.
Ecco un blocco nel dettaglio. Un candidato proposto presenta un rischio di ossidazione di Sn(II) all'umidità di processo e i suoi valori previsti di bandgap, stabilità di fase e decomposizione risultano tutti al di fuori del target. Il gate lo rifiuta prima della sintesi, risparmiando 105 dollari USA di reagenti e 2,33 ore-robot, e registra il rifiuto come record ALCOA+ con concatenazione hash. L'ottimizzatore non spreca nemmeno un'ora-robot per scoprire ciò che la chimica deterministica già sapeva.
Il singolo blocco non è un caso fortuito, è la regola. Nel corso dell'esecuzione, il gate ha bloccato 38 candidati non fattibili prima della sintesi, specificando per ciascuno il principio fisico violato: rischio di ossidazione di Sn(II), violazione della neutralità di carica per un sito B non compensato o tolleranza di Goldschmidt esterna alla finestra di formabilità, insieme ai dollari e alle ore-robot risparmiati. I blocchi ammontano complessivamente a 4.419 dollari USA e 90 ore-robot di sprechi evitati, con zero sintesi non fattibili eseguite.
La mappa di scoperta traccia ogni materiale sintetizzato dal ciclo in simulazione nello spazio bandgap rispetto a stabilità di fase, colorato in base alla temperatura di decomposizione, con un riquadro tratteggiato che evidenzia la finestra target: un bandgap da 1,2 a 1,5 eV con elevata stabilità. I primi punti sono dispersi; i punti successivi si addensano verso il riquadro man mano che il surrogato apprende, e il materiale migliore si posiziona al suo interno. Questo è l'ottimizzatore che compie il suo lavoro, ma unicamente sui candidati che il gate ha autorizzato.
Il miglior materiale individuato soddisfa ogni specifica: composizione (Cs0.46MA0.22FA0.31)(Sn0.69Ge0.31)(I0.73Br0.21Cl0.06)3, con un bandgap di 1,43 eV, un punteggio di stabilità di fase di 0,743 e una temperatura di decomposizione di 250,5 gradi Celsius. Per chiarire l'ambito, questo è il risultato di un obiettivo sintetico fisicamente motivato, non un materiale prodotto fisicamente. È la prova che il ciclo converge, non la rivendicazione di una scoperta reale.
Ogni decisione, sia le 75 sintesi sia i 38 blocchi, viene registrata in una struttura di soli inserimenti (append-only), 113 in totale, ed esportata come report di provenienza della campagna mappato sui principi ALCOA+. Ogni riga riporta timestamp, azione, candidato, verdetto del gate, violazioni, motivazione e un hash SHA-256 che la concatena al record precedente. Il report indica 'catena intatta' e 'a prova di manomissione', costituendo la provenienza attribuibile e contemporanea richiesta a un laboratorio regolamentato.
L'evidenza di manomissione vale la pena di essere affermata solo se è possibile vederla in azione. Modificando un singolo payload nell'audit esportato, il verificatore segnala che la catena è interrotta a quel record, rileva la manomissione e attesta che l'audit archiviato risulta inconfutabilmente alterato. Il punto non è che il record non possa essere modificato, ma che una modifica non possa essere nascosta: è questo che rende l'audit trail legalmente e tecnicamente difendibile.
È il cervello, il safety gate e il livello di provenienza sul vostro hardware esistente, non un laboratorio in hosting e non un sostituto per i vostri strumenti o per il DFT.
| Aspetto critico | Un solo modello predittivo o ottimizzatore | Questo livello |
|---|---|---|
| Proposte chimicamente impossibili | Sintetizzate, poi valutate come fallimenti | Bloccate da un gate deterministico prima che venga speso qualsiasi reagente |
| Perché un candidato è stato respinto | Sepolto nella loss function, se pure registrato | Specificato in base a cinque regole chimiche pubblicate, con dollari e ore risparmiati |
| Provenienza di una decisione automatizzata | Log ad hoc, modificabili | Record ALCOA+ append-only, con concatenazione hash, a prova di manomissione |
| Chi prende la decisione sulla sicurezza | Un LLM o la confidenza interna dell'ottimizzatore | Puro codice deterministico esterno agli agenti |
| Efficienza del campionamento | Varia in base alla funzione di acquisizione | 75 contro circa 1.491 esperimenti per raggiungere le specifiche sull'obiettivo nascosto di questo benchmark |
| Lock-in di hardware e modelli | Spesso uno stack proprietario in hosting | Funziona sui vostri strumenti tramite un'interfaccia basata su SiLA-2, provider LLM intercambiabile |
Il livello costituisce il cervello, il safety gate e il registro di provenienza che si integrano sull'hardware che già possedete. Il ciclo chiuso decide cosa eseguire successivamente e raggiunge specifiche rigorose con un numero nettamente inferiore di esperimenti; un gate deterministico con gemello digitale rifiuta le sintesi chimicamente impossibili o pericolose prima che consumino reagenti e ore-robot, e ogni decisione viene registrata in un audit trail a prova di manomissione. In questo benchmark, il gate ha bloccato 38 sintesi condannate al fallimento, risparmiando 4.419 dollari USA e 90,1 ore-robot, e zero esperimenti non fattibili sono arrivati al robot.
No, e lo dichiariamo esplicitamente. L'obiettivo è un benchmark sintetico fisicamente motivato, non dati DFT o di laboratorio reali, e il laboratorio è un simulatore operante dietro un'interfaccia basata su SiLA-2: pertanto nulla di quanto mostrato è stato prodotto fisicamente. Ciò che la demo dimostra è il meccanismo, il ciclo, il safety gate deterministico e la provenienza verificabile, validi a prescindere dalla qualità del modello. La composizione individuata e i relativi valori di proprietà sono risultati del benchmark, non un esito sperimentale.
I vincoli di un ottimizzatore risiedono all'interno dello stesso modello che sta cercando di raggiungere il target, e sono affidabili solo quanto l'auto-valutazione del modello stesso. Il nostro gate è un codice separato e deterministico che viene eseguito all'esterno degli agenti e del surrogato, e verifica ogni proposta rispetto a cinque regole chimiche pubblicate: tolleranza di Goldschmidt, fattore ottaedrico, neutralità di carica, ossidazione di Sn(II) per umidità e soglia massima di decomposizione dei precursori organici. Restituisce 'fattibile' o 'bloccato' indicando l'esatta regola violata e i dollari e le ore-robot risparmiati, in modo che una ricetta fallimentare venga arrestata prima ancora che il robot la veda.
Perché gli agenti non prendono mai la decisione. Gli agenti Lab Director e Critic si limitano a descrivere la strategia e a segnalare le derive, mentre l'ottimizzatore e il gate deterministico decidono cosa eseguire, e nessuno dei due dipende dall'LLM. In assenza di chiave API, gli agenti ricorrono a una narrazione deterministica e il ciclo continua a funzionare in modo identico. Questa separazione — gli agenti consigliano e il codice decide — è il punto fondamentale: l'affidabilità in un laboratorio a guida autonoma non può basarsi sull'autovalutazione del modello stesso.
La provenienza è implementata e mappata sui principi ALCOA+: ogni decisione produce un record append-only con concatenazione hash, e la modifica di qualsiasi record spezza visibilmente la catena, garantendo la provenienza attribuibile e contemporanea richiesta dai principi guida di FDA ed EMA (FDA/EMA, 2026). Non è convalidata per IQ, OQ o PQ rispetto alle vostre SOP: tale qualificazione è l'oggetto del progetto e non un risultato pronto all'uso. La demo mostra il record e il test di manomissione affinché possiate valutarne la sostanza anziché una semplice casella di spunta.
Si tratta di una singola esecuzione deterministica, seed 411: 75 esperimenti per ottenere un materiale conforme alle specifiche rispetto ai circa 1.491 previsti per lo screening casuale sull'identico obiettivo nascosto, ossia 19,9 volte meno. Su un benchmark a 10 seed, il ciclo ha richiesto in media 67 esperimenti e ha risolto 9 esecuzioni su 10, mentre lo screening casuale ne ha risolta 1 su 5 entro 1.000 e una ricerca a griglia non ha mai raggiunto le specifiche. Il perimetro è fondamentale: questi sono numeri di confronto tra ottimizzatore e baseline su un obiettivo sintetico, calcolati rispetto a baseline riproducibili e non fittizie, e non una promessa per scenari aperti.
No. Non gestiamo un laboratorio robotico in hosting e il livello è progettato per essere installato sui vostri strumenti tramite un'interfaccia basata su SiLA-2. L'ottimizzatore e il gate sono puro codice numpy e scipy ed operano completamente offline senza alcuna chiave API, mentre il provider LLM è intercambiabile, con configurazione predefinita claude-opus-4-8. Nella versione fornita, l'ottimizzatore è un GP con acquisizione orientata agli obiettivi, e la soluzione di produzione prevede BoTorch e Ax, sul vostro hardware e non sul nostro.
La ricerca alla base di questa demo: l'architettura, la progettazione della verifica e il blueprint aziendale.
Soluzione completa
Esplora la soluzione Autonomous Lab AI →Raggiungete le specifiche in meno esperimenti, bloccate quelli destinati a fallire prima che vengano eseguiti e dimostrate ogni decisione a posteriori.
Se il vostro team sta allestendo un laboratorio a guida autonoma e sta valutando come rendere affidabili le decisioni di fattibilità e difendibile la provenienza, ci piacerebbe davvero confrontarci con voi. Il problema riguarda l'intero settore, e così sarà per le soluzioni.