Kvantdatorer

Zapata lanserar Quantum Pilot för att hjälpa företag att identifiera värdefulla kvantapplikationer

mm
Lägg till Unite.AI bland dina föredragna källor på Google

Kvantdatorer har under åratal definierats av hårvarumilstolpar: fler qubits, lägre felräntor, längre koherenstider och allt mer sofistikerade metoder för fel tolerans. Men för företag skapar bättre hårvara ett annat problem. De måste fortfarande avgöra vad de faktiskt ska göra med den.

Zapata Quantum riktar in sig på detta gap med Quantum Pilot, en ny molnbaserad, hårdvaruoberoende plattform som är utformad för att hjälpa organisationer att systematiskt identifiera, utvärdera och utveckla kvantberäkningsapplikationer med realistisk kommersiell potential.

Quantum Pilot går in i tidig åtkomst med utvalda företags- och myndighetskunder. Istället för att be företag att binda sig till en specifik kvantdator eller arkitektur försöker plattformen bygga en kontinuerligt utvecklande färdplan som kopplar affärsproblem till algoritmer, hårvarukrav, teknisk genomförbarhet och potentiellt ekonomiskt värde.

Lanseringen bygger på en bredare applikationsfokuserad strategi hos Zapata Quantum, som grundades 2017 av forskare från Harvard och har alltmer placerat sig kring mjukvarulagret som ligger mellan företagsproblem och snabbt utvecklande kvant‑hårdvara. Företaget uppger att det nu har mer än 60 utfärdade och pågående patent och tidigare har samarbetat med organisationer som BASF, BMW, BBVA, BP och Defense Advanced Research Projects Agency (DARPA).

Omvandla kvantberedskap till ett applikationsproblem

Den underliggande premissen för Quantum Pilot är att företag kan ställa fel fråga om kvantdatorer.

Istället för att främst fokusera på när tillräckligt kraftfulla kvantdatorer blir tillgängliga, måste organisationer också förstå vilka arbetsbelastningar som skulle gynnas av dessa maskiner, vilka algoritmer som kan hantera dem, vilka resurser dessa algoritmer kräver, och om den eventuella fördelen skulle motivera utvecklingskostnaderna.

Det är avsevärt mer komplicerat än att bara följa antalet qubits.

Ett läkemedelsföretag kan till exempel ha hundratals beräkningsintensiva processer som sträcker sig över molekylär simulering, läkemedelsdesign, optimering och maskininlärning. Endast en delmängd kan vara rimliga kandidater för kvantacceleration. Dessa kandidater måste sedan jämföras med ständigt förbättrade klassiska metoder och kartläggas mot hårvara som ännu inte kan finnas i den erforderliga skalan.

Quantum Pilot är utformad för att omvandla den undersökningen till en repeterbar process.

”Den kritiska rampen till utveckling av kvantapplikationer är en effektiv och rigorös kartläggning av användningsfall till kvantberäkningslösningar,” sade Zapatas VD Sumit Kapur.

Idén är att förhindra att kvantstrategi blir en samling av fristående experiment. Kunskap som erhålls från en utvärdering kan istället matas in i efterföljande projekt när algoritmer och hårvara förbättras.

Hur Quantum Pilot fungerar

Quantum Pilot samlar tre system som täcker olika delar av applikationsutvecklingsprocessen.

Den första är Quantum Graph, ett proprietärt kunskapslager som kopplar potentiella applikationer till algoritmer, akademisk forskning och kvant‑hårdvaruvägar. Zapata har tidigare beskrivit Quantum Graph som en strukturerad kunskapsbas som visar hur problem, algoritmer och hårvaruresurser förhåller sig till varandra.

Den andra komponenten, Quantum Engine, hanterar mer av det beräkningsmässiga arbetet. Den inkluderar verktyg och AI‑agenter för algoritmval, experimentdesign, hårvarubenchmarking och kvantresursestimering.

Resursestimering är särskilt viktig eftersom en algoritm som ser lovande ut matematiskt kan kräva ett orealistiskt antal fysiska qubits eller en opraktisk körtid när felkorrigering och hårvarubegränsningar beaktas.

Den tredje komponenten är Quantum Assurance, som kombinerar expertgranskning med formella verifieringstekniker för att ge starkare bevis på att kvantprogramvara beter sig som förväntat.

Tillsammans är de tre lagren avsedda att besvara en serie frågor: Är detta affärsproblem lämpligt för kvantdatorer? Vilken algoritm bör hantera det? Vad krävs för att genomföra det? Är den föreslagna implementeringen korrekt? Och när kan ekonomin motivera en faktisk implementering?

Quantum Pilot ingår också i Zapatas bredare Orquestra‑mjukvarustack, som omfattar utvärdering av användningsfall, resursestimering, algoritmer, hybridkvant‑klassiska arbetsflöden och åtkomst till flera hårvarumiljöer.

Agentbaserad AI möter kvantresursestimering

Artificiell intelligens blir också en del av kvantutvecklingsarbetsflödet.

Tidigare i år började Zapata samarbeta med NVIDIA på ett agentbaserat AI‑system som syftar till att automatisera kvantresursestimering, en uppgift som kan kräva expertis inom molekylär modellering, kvantalgoritmer, hårvaruarkitekturer och felkorrigering.

Det Zapata-NVIDIA-samarbete fokuserade initialt på kvantkemi‑tillämpningar såsom läkemedelsupptäckt, energi och avancerade material. Företagen utvecklar orkestrerade AI‑agenter som kan utföra delar av benchmark‑ och uppskattningsprocessen som traditionellt skulle kräva omfattande manuellt arbete.

Enligt Zapata kombinerar arbetsflödet AI‑orkestrering, kontinuerligt verifierade kvantarbetsflöden och en genomförbarhetsmodell som försöker förutsäga hårdvarukrav innan beräkningen påbörjas. NVIDIA:s Agent Toolkit används för övervakning och skyddsmekanismer inom den multi‑agent‑arkitekturen.

Dessa funktioner integreras nu i den bredare Quantum Pilot‑miljön.

Det är en intressant tillämpning av agentisk AI eftersom agenterna inte positioneras som ersättare för själva kvantdatorerna. Istället används de för att automatisera en del av det vetenskapliga arbete som krävs för att avgöra om en kvantdator kan lösa ett specifikt problem på ett ekonomiskt sätt.

Formell verifiering kan bli allt viktigare

En annan särskiljande faktor är Zapatas fokus på formell verifiering.

I konventionell mjukvaruutveckling undersöker testning i allmänhet om ett program levererar förväntade resultat under olika förhållanden. Formell verifiering går längre genom att använda matematiska metoder för att fastställa att mjukvaran uppfyller angivna egenskaper.

Kvantprogramvara utgör en svår miljö för konventionell validering eftersom allt mer komplexa algoritmer slutligen måste översättas till kvantkretsar och köras på system där brus, felkorrigering och hårdvarubegränsningar kan påverka resultaten väsentligt.

Zapata arbetar med University of Maryland med ett verifierings‑först‑tillvägagångssätt som inleds med matematiska bevis på korrekthet snarare än att först bygga mjukvara och validera den i efterhand.

Forskningen tillämpas initialt på Shors faktoreringsalgoritm, men företaget tror att liknande metoder så småningom kan utvidgas till kvantkemi, materialvetenskap, optimering och finans.

Quantum Assurance för in den filosofin i Quantum Pilot.

Detta eliminerar inte osäkerheten kring kvantdatorer. Formell verifiering kan hjälpa till att fastställa om en algoritm eller implementation är korrekt, men den kan inte göra om omogen hårdvara till kommersiellt lönsam. Vad den potentiellt kan göra är att minska en annan källa till osäkerhet när kvanttillämpningar blir alltmer komplicerade.

Verkliga projekt visar varför valet av tillämpning är viktigt

Zapatas tidigare företagsprojekt illustrerar varför systematisk avvisning av olämpliga användningsfall kan vara nästan lika värdefullt som att hitta lovande.

I ett samarbete med BP kring den variationala kvant‑eigensolvern undersökte Zapata om kvantdatorer så småningom kan påskynda molekylära simuleringar. Analysen identifierade möjligheter att minska beräkningskraven, men drog också slutsatsen att implementeringar i företags‑skala fortfarande är flera år bort.

Arbetet med BBVA undersökte på liknande sätt kvantmetoder för de beräkningsintensiva Monte‑Carlo‑simuleringarna som används i finansiella riskberäkningar. Projektet identifierade potentiella algoritmiska fördelar men fann också att tillämpningen inte var genomförbar på närliggande kvantapparater.

Andra projekt har levererat mer omedelbart användbara resultat genom kvant‑inspirerade metoder. I ett projekt för bilproduktion tillsammans med BMW och MIT:s Center for Quantum Engineering använde Zapata tensor‑nätverks‑generativa modeller för produktionsplanering och undersökte om metoder inspirerade av kvantdatorer kunde förbättra stora optimeringsproblem med hjälp av klassisk infrastruktur.

Den blandning av positiva och negativa resultat belyser en viktig del av utvecklingen av kvanttillämpningar: företag behöver mekanismer för att avgöra inte bara var kvantdatorer kan fungera, utan också var investeringar bör skjutas upp.

Bygger på Zapatas återkomst till kvantprogramvara

Quantum Pilot representerar också det senaste steget i Zapatas förnyade fokus på kvantprogramvara.

Företaget genomgick en stor omstrukturering innan det återvände till sina ursprungliga kvantdator‑rötter. I april samlade Zapata in en överskriven strategisk finansieringsrunda på 15 miljoner dollar för att expandera sina vetenskapliga, tekniska, produkt‑ och kommersiella team, en utveckling som tidigare rapporterades av Unite.AI.

Dess teknikportfölj inkluderar nu Orquestra, Quantum Graph, Quantum Pilot och Bench‑Q, ett verktygspaket som härstammar från arbete under DARPA:s Quantum Benchmarking‑program. Zapata deltog i programmets tekniska områden som omfattade identifiering av användningsfall, algoritmutveckling och uppskattning av hårdvaruresurser.

Företaget har också demonstrerat kvant‑klassiska metoder utanför ren benchmarking. Dess forskning tillsammans med akademiska och bioteknologiska partners använde en kvant‑klassisk generativ modell för att designa kandidat‑molekyler som riktar sig mot KRAS, där 15 föreslagna molekyler syntetiserades och två identifierades som lovande kandidater för vidare undersökning.

Kvanttävlingen expanderar bortom hårdvara

Introduktionen av Quantum Pilot speglar en bredare förändring i var konkurrensen inom kvantdatorer så småningom kan utvecklas.

Att bygga feltolerant kvant‑hårdvara är fortfarande en av branschens definierande tekniska utmaningar. Men allt mer kapabla maskiner kommer att ha begränsat kommersiellt värde om företag inte har färdiga applikationer att köra på dem.

Detta skapar ett parallellt lopp kring algoritmer, resursestimering, utvecklingsmiljöer, benchmarkning, verifiering och institutionell kunskap.

Quantum Pilot är Zapatas försök att paketera dessa discipliner i ett system som företag kan använda innan de exakt bestämmer vilken kvant‑hårdvara som slutligen kommer att köra deras arbetsbelastningar.

Det hårdvaruoberoende tillvägagångssättet kan bli allt mer relevant om olika arkitekturer visar sig vara bättre lämpade för olika problemklasser. Det gör det också möjligt för företag att fortsätta utvärdera applikationer medan hårdvaruplanerna förändras under dem.

Den större frågan är om organisationer kan omvandla år av kvantexperiment till en institutionell förmåga snarare än en serie konceptbevis.

Quantum Pilot eliminerar inte osäkerheten kring när en kommersiellt meningsfull kvantfördel kommer att inträffa. Istället är den utformad utifrån ett mer praktiskt antagande: företag som vill dra nytta av framtida hårdvaruframsteg behöver ett disciplinerad sätt att avgöra vad som är värt att bygga långt innan hårdvaran är klar.

Antoine är en visionär ledare och medgrundare av Unite.AI, driven av en outtröttlig passion för att forma och främja framtidens AI och robotik. En serieentreprenör, han tror att AI kommer att vara lika störande för samhället som elektricitet, och han fångas ofta i att prata om potentialen för störande teknologier och AGI.

Som en futurist är han dedikerad till att utforska hur dessa innovationer kommer att forma vår värld. Dessutom är han grundare av Securities.io, en plattform som fokuserar på att investera i banbrytande teknologier som omdefinierar framtiden och omformar hela sektorer.