ImandraX: Una svolta nel ragionamento neurosimbolico dell’AI e nella verifica logica automatizzata

Imandra Inc., l’azienda di intelligenza artificiale che rivoluziona il ragionamento logico automatizzato, ha annunciato il rilascio di ImandraX, il suo ultimo avanzamento nel ragionamento neurosimbolico dell’AI. Questo rilascio epocale introduce capacità all’avanguardia nell’automazione delle prove, nella generazione di controesempi e nelle procedure decisionali, stabilendo un nuovo standard di settore per l’analisi logica guidata dall’AI.

Mentre i sistemi di intelligenza artificiale alimentano sempre più applicazioni critiche per la missione in settori come la finanza, la difesa, la sanità e i sistemi autonomi, la domanda di ragionamento affidabile, spiegabile e matematicamente rigoroso non è mai stata così alta. ImandraX spinge i confini dell’AI integrando un potente ragionamento automatizzato con agenti di intelligenza artificiale, framework di verifica e modelli di decisione nel mondo reale.

Imandra Inc.: pioniere del ragionamento logico guidato dall’AI

Imandra Inc. è un’azienda di intelligenza artificiale globale che sviluppa piattaforme di Reasoning-as-a-Service® per il ragionamento logico automatizzato nei settori finanziari, della difesa e della sicurezza critica. Le sue soluzioni avanzate di intelligenza artificiale includono Imandra Markets® e Imandra Connectivity®, che forniscono una rigorosa verifica formale, automazione della progettazione e strumenti di conformità per applicazioni critiche per la missione. Costruita su profondi progressi nel ragionamento automatizzato, Imandra consente alle aziende di applicare con fiducia intuizioni guidate dall’AI logiche, accurate e verificabili.
Imandra è impegnata a portare rigore e governance agli algoritmi più critici del mondo. L’azienda ha costruito un sistema di ragionamento automatizzato su scala cloud, che consente alle organizzazioni di sfruttare la logica matematica per il ragionamento dell’AI. Con un forte accento sullo sviluppo di intelligenza artificiale affidabile e spiegabile, la tecnologia di Imandra è utilizzata da ricercatori, aziende e agenzie governative di tutto il mondo.

Alzare l’asticella nel ragionamento dell’AI

Denis Ignatovich, co-fondatore e co-CEO di Imandra Inc., ha dichiarato: “ImandraX è un passo trasformativo per rendere il ragionamento simbolico avanzato una parte fondamentale dei flussi di lavoro dell’AI. Equipaggiando gli agenti di intelligenza artificiale con potenti capacità di ragionamento logico automatizzato e verifica formale, stiamo spingendo i confini di ciò che i sistemi intelligenti possono realizzare.”
Dr. Grant Passmore, co-fondatore di Imandra Inc., ha aggiunto: “ImandraX è il culmine di anni di ricerca e di deploy nel mondo reale in alcuni dei settori più esigenti, tra cui finanza, difesa e intelligenza artificiale. I nostri clienti e partner si affidano al ragionamento automatizzato di Imandra per garantire la sicurezza e l’affidabilità dei sistemi critici per la missione, dalle borse valori agli agenti autonomi. Con ImandraX, non stiamo solo rendendo il ragionamento rigoroso accessibile, ma stiamo rendendolo indispensabile per la prossima generazione di processi decisionali guidati dall’AI.”

Novità chiave in ImandraX

ImandraX introduce diverse capacità innovative, tra cui:

• Breakthroughs nell’automazione delle prove – Avanza il ragionamento logico introducendo nuove tecniche per funzioni ricorsive miste discrete e continue su dati. Questa innovazione consente il primo modello formale e la verifica dello standard IEEE P3109 per formati di punto fluttuante binario piccoli (<16 bit), essenziali per la quantizzazione e la distillazione delle reti neurali.
• Verifica della sicurezza delle reti neurali – Consente il primo verificatore di prove formalmente verificato per la verifica delle proprietà di sicurezza delle reti neurali, sfruttando il controllo del modello limitato e l’induzione per garantire che i modelli di intelligenza artificiale operino in modo sicuro e come previsto.
• Decomposizione dello spazio degli stati – Fornisce più di 4x velocizzazioni per i compiti di decomposizione delle regioni, migliorando notevolmente l’efficienza per gli utenti del settore finanziario nella testing della connettività FIX e in altre applicazioni critiche per la missione.
• Miglioramenti dell’esperienza dello sviluppatore – Un nuovo plugin VS Code introdotto consente lo sviluppo di prove parallele, consentendo l’esecuzione di lavori concorrenti nel cloud di ragionamento di Imandra e semplificando il flusso di lavoro di verifica formale.
• Integrazione senza soluzione di continuità con l’AI – ImandraX si integra senza problemi con il nuovo API Python di Imandra, consentendo un’adozione senza soluzione di continuità all’interno dei framework di agenti di intelligenza artificiale, preparando il terreno per la prossima ondata di agenti di ragionamento neurosimbolico dell’AI.

Affrontare le sfide logiche più difficili dell’AI

Denis Ignatovich ha dichiarato: “ImandraX si basa su anni di applicazioni industriali su larga scala del ragionamento automatizzato. La versione X incorpora nuovi algoritmi di ragionamento, funzionalità architettoniche innovative e un’integrazione senza soluzione di continuità con l’AI agente, compresa la libreria Langgraph.”

Le reti neurali e i modelli di decisione guidati dall’AI devono affrontare una serie di sfide, tra cui spiegabilità, verificabilità e sicurezza. Molti modelli di intelligenza artificiale attuali, in particolare quelli utilizzati nell’apprendimento profondo, funzionano come “scatole nere“, rendendo difficile comprendere o verificare i loro processi decisionali. Questa opacità rappresenta un rischio significativo in settori ad alto impatto come finanza, sanità e sistemi autonomi, dove le decisioni dell’AI possono avere conseguenze reali profonde.

Per i settori che si affidano alle reti neurali, garantire la robustezza e la sicurezza è fondamentale. Ignatovich spiega: “Le reti neurali sono sempre più utilizzate in settori critici per la sicurezza, quindi è molto importante assicurarsi che si comportino come previsto e siano robuste agli input rumorosi. La capacità di ImandraX di ragionare sul calcolo numerico e la sua infrastruttura di verifica formale generale gli consentono di verificare le proprietà delle reti neurali, oltre a controllare la correttezza delle prove generate da verificatori di teoremi di terze parti.”

Perché questo è importante per la finanza, la difesa e i sistemi autonomi

Settori come la finanza, la difesa e i sistemi autonomi operano in ambienti in cui precisione, affidabilità e conformità sono fondamentali. Gli standard normativi in questi campi sono in costante evoluzione, richiedendo soluzioni guidate dall’AI che soddisfino rigorosi requisiti di vigilanza. Il mancato rispetto di questi regolamenti può portare a conseguenze legali, perdite finanziarie e rischi per la sicurezza.

Ignatovich elabora: “Questi settori devono rispettare rigidi requisiti normativi e di sicurezza, ma la loro complessità è cresciuta ben oltre ciò che gli esseri umani possono comprendere appieno. L’automazione delle prove e la decomposizione dello spazio degli stati di Imandra, combinate con l’integrazione LLM, consentono agli sviluppatori e agli ingegneri di analizzare a fondo il comportamento del sistema, garantire la conformità e testare rigorosamente i sistemi guidati dall’AI.”
Nel mercato finanziario, gli algoritmi di intelligenza artificiale sono responsabili delle decisioni di trading in tempo reale, della rilevazione delle frodi e della gestione del rischio. Anche piccole discordanze possono avere ripercussioni massive, rendendo la verifica formale e il ragionamento automatizzato essenziali per mantenere l’integrità del sistema. Allo stesso modo, nella difesa, i sistemi autonomi devono operare all’interno di rigidi vincoli, garantendo che le decisioni guidate dall’AI si allineino con gli obiettivi della missione e i protocolli di sicurezza.
I sistemi autonomi, tra cui veicoli a guida autonoma e droni, dipendono da modelli di intelligenza artificiale che devono navigare in ambienti imprevedibili, garantendo al contempo la sicurezza dei passeggeri e la conformità normativa. Garantire che questi sistemi guidati dall’AI si comportino in modo affidabile in tutte le condizioni possibili richiede metodologie di testing rigorose che i metodi tradizionali non possono fornire. ImandraX interviene offrendo una verifica logica automatizzata che consente un testing basato su scenari approfondito, riducendo i rischi associati all’imprevedibilità dell’AI.

Il futuro dell’AI neurosimbolica e della presa di decisioni guidata dall’AI

Ignatovich ha sottolineato: “Vediamo gli approcci neurosimbolici come il prossimo grande passo nell’evoluzione dell’AI. I modelli statistici tradizionali, come gli LLM, mancano di un ragionamento logico fondamentale. ImandraX colma questo divario, offrendo un’automazione senza precedenti per l’analisi di algoritmi complessi, una delle applicazioni chiave dell’AI oggi.”