Computazione quantistica

Zapata lancia Quantum Pilot per aiutare le imprese a identificare applicazioni quantistiche ad alto valore

mm
Aggiungi Unite.AI alle tue fonti preferite su Google

computazione quantistica ha trascorso anni definita da traguardi hardware: più qubit, tassi di errore più bassi, tempi di coerenza più lunghi e approcci sempre più sofisticati alla tolleranza degli errori. Ma per le imprese, hardware migliore crea un altro problema. Devono ancora determinare cosa dovrebbero effettivamente fare con esso.

Zapata Quantum sta colmando quella lacuna con Quantum Pilot, una nuova piattaforma basata su cloud, indipendente dall’hardware, progettata per aiutare le organizzazioni a identificare, valutare e sviluppare sistematicamente applicazioni di computazione quantistica con un potenziale commerciale realistico.

Quantum Pilot entra in accesso anticipato con clienti selezionati tra imprese e enti governativi. Invece di chiedere alle aziende di impegnarsi su un particolare computer quantistico o architettura, la piattaforma tenta di costruire una roadmap in continua evoluzione che collega i problemi di business agli algoritmi, ai requisiti hardware, alla fattibilità tecnica e al potenziale valore economico.

Il lancio si basa su una strategia più ampia, incentrata sulle applicazioni, di Zapata Quantum, fondata nel 2017 da scienziati di Harvard e sempre più orientata verso lo strato software che si colloca tra i problemi aziendali e l’hardware quantistico in rapida evoluzione. L’azienda afferma di possedere ora oltre 60 brevetti concessi e in corso di esame e di aver collaborato in passato con organizzazioni tra cui BASF, BMW, BBVA, BP e la Defense Advanced Research Projects Agency (DARPA).

Trasformare la Prontezza Quantistica in un Problema di Applicazione

Il presupposto alla base di Quantum Pilot è che le imprese potrebbero porre la domanda sbagliata riguardo alla computazione quantistica.

Invece di concentrarsi principalmente su quando saranno disponibili computer quantistici sufficientemente potenti, le organizzazioni devono anche comprendere quali carichi di lavoro trarrebbero beneficio da quelle macchine, quali algoritmi potrebbero affrontarli, quali risorse richiederebbero tali algoritmi e se il vantaggio finale giustificherebbe i costi di sviluppo.

Ciò è notevolmente più complicato del semplice monitorare il numero di qubit.

Una società farmaceutica, ad esempio, potrebbe avere centinaia di processi intensivi dal punto di vista computazionale che spaziano dalla simulazione molecolare, alla progettazione di farmaci, all’ottimizzazione e all’apprendimento automatico. Solo una parte di questi potrebbe essere un candidato plausibile per l’accelerazione quantistica. Tali candidati devono poi essere confrontati con approcci classici in continuo miglioramento e mappati rispetto a hardware che potrebbe non esistere ancora nella scala necessaria.

Quantum Pilot è progettato per trasformare tale indagine in un processo ripetibile.

«Il punto di ingresso critico per lo sviluppo di applicazioni quantistiche è la mappatura efficiente e rigorosa dei casi d’uso verso soluzioni computazionali quantistiche», ha dichiarato l’amministratore delegato di Zapata Sumit Kapur.

L’idea è impedire che la strategia quantistica diventi una raccolta di esperimenti disconnessi. Le conoscenze acquisite da una valutazione possono invece alimentare progetti successivi man mano che algoritmi e hardware migliorano.

Come Funziona Quantum Pilot

Quantum Pilot riunisce tre sistemi che coprono diverse parti del processo di sviluppo delle applicazioni.

Il primo è Quantum Graph, uno strato di conoscenza proprietario che collega le potenziali applicazioni con gli algoritmi, la ricerca accademica e le roadmap dell’hardware quantistico. Zapata ha precedentemente descritto Quantum Graph come una base di conoscenza strutturata che mostra come problemi, algoritmi e risorse hardware siano correlati tra loro.

Il secondo componente, Quantum Engine, gestisce gran parte del lavoro computazionale. Include strumenti e agenti IA per la selezione degli algoritmi, la progettazione degli esperimenti, il benchmarking dell’hardware e la stima delle risorse quantistiche.

La stima delle risorse è particolarmente importante perché un algoritmo che sembra promettente dal punto di vista matematico può richiedere un numero irrealistico di qubit fisici o un tempo di esecuzione impraticabile una volta considerata la correzione degli errori e le limitazioni hardware.

Il terzo componente è Quantum Assurance, che combina la revisione di esperti con tecniche di verifica formale volte a fornire prove più solide che il software quantistico si comporti come previsto.

Insieme, i tre livelli sono destinati a rispondere a una serie di domande: Questo problema di business è adatto alla computazione quantistica? Quale algoritmo dovrebbe affrontarlo? Cosa servirebbe per eseguirlo? L’implementazione proposta è corretta? E quando l’economia potrebbe giustificare il suo effettivo impiego?

Quantum Pilot è anche inserito nello stack software più ampio di Zapata, Orquestra, che copre la valutazione dei casi d’uso, la stima delle risorse, gli algoritmi, i flussi di lavoro ibridi quantistico-classici e l’accesso a molteplici ambienti hardware.

L’IA Agente Incontra la Stima delle Risorse Quantistiche

L’intelligenza artificiale sta diventando anche parte del flusso di lavoro per lo sviluppo quantistico.

All’inizio di quest’anno, Zapata ha iniziato a collaborare con NVIDIA su un sistema di IA agente volto ad automatizzare la stima delle risorse quantistiche, un compito che può richiedere competenze in modellazione molecolare, algoritmi quantistici, architetture hardware e correzione degli errori.

La collaborazione Zapata-NVIDIA inizialmente si è concentrata su applicazioni di chimica quantistica come la scoperta di farmaci, l’energia e i materiali avanzati. Le aziende stanno sviluppando agenti IA orchestrati capaci di eseguire parti del processo di benchmark e stima che tradizionalmente richiederebbero una notevole ricerca manuale.

Secondo Zapata, il flusso di lavoro combina l’orchestrazione IA, flussi di lavoro quantistici verificati in modo continuo e un modello di fattibilità che tenta di prevedere i requisiti hardware prima dell’inizio del calcolo. Il Agent Toolkit di NVIDIA viene utilizzato per il monitoraggio e le salvaguardie all’interno dell’architettura multi‑agente.

Queste capacità stanno ora venendo incorporate nell’ambiente più ampio di Quantum Pilot.

È un’applicazione interessante dell’IA agentica perché gli agenti non sono presentati come sostituti dei computer quantistici stessi. Invece, vengono utilizzati per automatizzare parte del lavoro scientifico necessario a determinare se un computer quantistico possa risolvere economicamente un determinato problema.

La verifica formale potrebbe diventare sempre più importante

Un altro elemento distintivo è l’enfasi di Zapata sulla verifica formale.

Nello sviluppo software convenzionale, i test verificano generalmente se un programma produce i risultati attesi in diverse condizioni. La verifica formale va oltre, utilizzando metodi matematici per dimostrare che il software soddisfa proprietà specifiche.

Il software quantistico presenta un ambiente difficile per la convalida convenzionale perché algoritmi sempre più complessi devono alla fine essere tradotti in circuiti quantistici ed eseguiti su sistemi in cui rumore, correzione degli errori e vincoli hardware possono influenzare materialmente i risultati.

Zapata sta collaborando con la University of Maryland su un approccio incentrato sulla verifica che inizia con dimostrazioni matematiche di correttezza piuttosto che costruire prima il software e validarlo successivamente.

La ricerca viene inizialmente applicata all’algoritmo di fattorizzazione di Shor, ma l’azienda ritiene che metodologie simili possano eventualmente estendersi alla chimica quantistica, alla scienza dei materiali, all’ottimizzazione e alla finanza.

Quantum Assurance porta questa filosofia in Quantum Pilot.

Ciò non elimina l’incertezza che circonda il calcolo quantistico. La verifica formale può aiutare a stabilire se un algoritmo o un’implementazione è corretto, ma non può rendere commercialmente sfruttabile l’hardware immaturo. Ciò che può potenzialmente fare è ridurre un’altra fonte di incertezza man mano che le applicazioni quantistiche diventano sempre più complesse.

I progetti del mondo reale mostrano perché la selezione delle applicazioni è importante

I precedenti progetti aziendali di Zapata illustrano perché rifiutare sistematicamente i casi d’uso non idonei può essere quasi altrettanto prezioso quanto trovare quelli promettenti.

Nel lavoro con BP, che coinvolgeva il variational quantum eigensolver, Zapata ha esplorato se i computer quantistici potessero eventualmente accelerare le simulazioni molecolari. La sua analisi ha individuato opportunità per ridurre i requisiti computazionali, ma ha anche concluso che le implementazioni su scala aziendale erano ancora a diversi anni di distanza.

Il suo lavoro con BBVA ha esaminato analogamente approcci quantistici a simulazioni Monte Carlo computazionalmente costose utilizzate nei calcoli del rischio finanziario. Il progetto ha identificato potenziali vantaggi algoritmici, ma ha anche riscontrato che l’applicazione non era fattibile sui dispositivi quantistici a breve termine.

Altri progetti hanno prodotto risultati più immediatamente utili tramite approcci ispirati al quantistico. In un progetto di produzione automobilistica con BMW e il Center for Quantum Engineering del MIT, Zapata ha applicato modelli generativi a rete tensoriale alla programmazione della produzione, esplorando se metodi ispirati al calcolo quantistico potessero migliorare grandi problemi di ottimizzazione usando infrastrutture classiche.

Questa combinazione di risultati positivi e negativi mette in evidenza una parte importante dello sviluppo di applicazioni quantistiche: le imprese hanno bisogno di meccanismi per determinare non solo dove il calcolo quantistico possa funzionare, ma dove l’investimento debba essere posticipato.

Costruire sul ritorno di Zapata al software quantistico

Quantum Pilot rappresenta anche l’ultima fase del rinnovato focus di Zapata sul software quantistico.

L’azienda ha attraversato una grande ristrutturazione prima di tornare alla sua attenzione sulle radici originarie del calcolo quantistico. Nell’aprile, Zapata ha raccolto un round di finanziamento strategico di $15 million, sovrasottoscritto, per espandere i suoi team scientifici, ingegneristici, di prodotto e commerciali, uno sviluppo precedentemente coperto da Unite.AI.

Il suo portafoglio tecnologico ora include Orquestra, Quantum Graph, Quantum Pilot e Bench‑Q, un toolkit derivante dal lavoro nel programma Quantum Benchmarking della DARPA. Zapata ha partecipato a tutte le aree tecniche del programma, che riguardano l’identificazione dei casi d’uso, lo sviluppo di algoritmi e la stima delle risorse hardware.

L’azienda ha inoltre dimostrato approcci quantistico‑classici al di fuori del puro benchmarking. La sua ricerca con partner accademici e biotecnologici ha utilizzato un modello generativo quantistico‑classico per progettare molecole candidate mirate a KRAS, con 15 molecole proposte sintetizzate e due identificate come promettenti candidate per ulteriori indagini.

La corsa quantistica si sta espandendo oltre l’hardware

L’introduzione di Quantum Pilot riflette un cambiamento più ampio su dove la competizione nel campo del calcolo quantistico potrà eventualmente svilupparsi.

Costruire hardware quantistico tollerante ai guasti rimane una delle sfide tecniche più distintive del settore. Tuttavia, macchine sempre più capaci avranno un valore commerciale limitato se le imprese non avranno applicazioni pronte per essere eseguite su di esse.

Ciò genera una corsa parallela su algoritmi, stime delle risorse, ambienti di sviluppo, benchmark, verifica e conoscenza istituzionale.

Quantum Pilot è il tentativo di Zapata di raggruppare queste discipline in un sistema che le imprese possano utilizzare prima di decidere quale hardware quantistico eseguirà effettivamente i loro carichi di lavoro.

Questo approccio indipendente dall’hardware potrebbe diventare sempre più rilevante se diverse architetture si dimostrassero più adatte a differenti classi di problemi. Consente inoltre alle aziende di continuare a valutare le applicazioni mentre le roadmap hardware cambiano sotto i loro piedi.

La questione più ampia è se le organizzazioni possano trasformare anni di sperimentazione quantistica in una capacità istituzionale, anziché in una serie di proof of concept.

Quantum Pilot non elimina l’incertezza su quando arriverà un vantaggio quantistico commercialmente significativo. Al contrario, è concepito su un’assunzione più pratica: le imprese che desiderano trarre vantaggio dai futuri progressi hardware hanno bisogno di un metodo disciplinato per determinare cosa valga la pena costruire molto prima che l’hardware sia pronto.

Antoine è un leader visionario e socio fondatore di Unite.AI, guidato da una passione incrollabile per plasmare e promuovere il futuro dell'AI e della robotica. Un imprenditore seriale, crede che l'AI sarà così disruptiva per la società come l'elettricità, e spesso si lascia trasportare dall'entusiasmo per il potenziale delle tecnologie disruptive e dell'AGI.

Come futurista, è dedicato a esplorare come queste innovazioni plasmeranno il nostro mondo. Inoltre, è il fondatore di Securities.io, una piattaforma focalizzata sugli investimenti in tecnologie all'avanguardia che stanno ridefinendo il futuro e riplasmando interi settori.