ImandraX: 뉴로심볼릭 AI 추론 및 자동화된 논리적 검증의 돌파구

Imandra Inc., 자동화된 논리적 추론을 혁신하는 AI 회사, ImandraX의 출시를 발표했습니다. 이 랜드마크 릴리스는 증명 자동화, 반례 생성, 결정 절차에서 최첨단 기능을 도입하여 AI 주도 논리적 분석의 새로운 산업 표준을 설정합니다.

AI 시스템이 금융, 방위, 의료, 자율 시스템 등 다양한 산업에서 임무에 중요한 애플리케이션을 구동하는 경우, 신뢰할 수 있는, 설명 가능한, 수학적으로 엄격한 추론을 요구하는需求는 어느 때보다도 높습니다. ImandraX는 강력한 자동화된 추론과 AI 에이전트, 검증 프레임워크, 실제 의사 결정 모델을 통합하여 AI의 경계를 확장합니다.

Imandra Inc.: AI 주도 논리적 추론의 개척자

Imandra Inc.는 금융, 방위, 안전에 중요한 산업을 위한 Reasoning-as-a-Service® 플랫폼을 제공하는 글로벌 AI 회사입니다. 고급 AI 파워드 솔루션으로 Imandra Markets®와 Imandra Connectivity®를 제공하며, 이는 엄격한 형식적 검증, 설계 자동화, 규정 준수 도구를 제공합니다. 자동화된 추론의 심오한 발전에 기반하여, Imandra는 비즈니스에 논리적, 정확한, 감사가 가능한 AI 주도된 통찰력을 신뢰할 수 있게 합니다.
Imandra는 세계에서 가장 중요한 알고리즘에 엄격함과 거버넌스를 가져오기 위해 헌신하고 있습니다. 클라우드 규모의 자동화된 추론 시스템을 구축하여, 조직이 수학적 논리를 AI 추론에 활용할 수 있게 합니다. 신뢰할 수 있는 AI와 설명 가능한 AI 개발에 강한重点을 둔 Imandra의 기술은 연구자, 기업, 정부 기관에 의해 전 세계적으로 신뢰되고 있습니다.

AI 추론의 표준을 높이다

Denis Ignatovich, Imandra Inc.의 공동 창립자 및 공동 CEO는 말했습니다, “ImandraX는 고급 심볼릭 추론을 AI 워크플로의 핵심 부분으로 만드는 변혁적인 단계입니다. 강력한 자동화된 논리적 추론과 형식적 검증 기능을 AI 에이전트에 제공함으로써, 우리는 지능형 시스템이 달성할 수 있는 경계를 확장하고 있습니다.”
Dr. Grant Passmore, Imandra Inc.의 공동 창립자는 추가로 말했습니다, “ImandraX는 수년간의 연구와 실제 배포의 결실입니다. 우리의 고객과 파트너는 금융, 방위, AI 등에서 미션에 중요한 시스템의 안전성과 신뢰성을 보장하기 위해 Imandra의 자동화된 추론을 신뢰합니다. ImandraX와 함께, 우리는 단순히 엄격한 추론을 접근 가능하게 만드는 것이 아니라, 다음 세대의 AI 파워드 의사 결정에 필수적인 요소로 만들고 있습니다.”

ImandraX의 주요 혁신

ImandraX는 다음과 같은 혁신적인 기능을 제공합니다:

• 증명 자동화의 돌파구 – 논리적 추론을 강화하기 위해 混합된 이산 및 연속적인 재귀 함수에 대한 새로운 기법을 도입합니다. 이 혁신은 새로운 IEEE P3109 표준의 첫 번째 형식적 모델과 검증을 가능하게 합니다.
• 신경망 안전성 검증 – 신경망 안전성 속성 검증을 위한 최초의 형식적으로 검증된 증명 체커를 제공합니다.
• 상태 공간 영역 분할 – 지역 분할 작업에 대해 4배 이상의 속도 향상을 제공하여, 금융 사용자에게 FIX 연결성 테스트와 기타 미션에 중요한 애플리케이션에서 효율성을 크게 향상시킵니다.
• 개발자 경험 향상 – 새로운 VS Code 플러그인을 통해, 병렬 증명 개발을 가능하게 하여, Imandra의 추론 클라우드에서 동시 작업을 실행하고, 형식적 검증 워크플로를 간소화합니다.
• 무결한 AI 통합 – ImandraX는 Imandra의 새로운 Python API와 무결하게 통합되어, AI 에이전트 프레임워크에 원활하게 채택할 수 있습니다.

AI의 가장 어려운 논리적 도전을 해결하다

Denis Ignatovich는 말했습니다, “ImandraX는 대규모 산업 애플리케이션에 대한 수년간의 자동화된 추론을 기반으로 합니다. 버전 X에는 새로운 추론 알고리즘, 혁신적인 아키텍처 기능, 및 Langgraph 라이브러리를 포함한 에이전트 AI와의 무결한 통합이 포함됩니다.”

신경망과 AI 주도된 의사 결정 모델은 설명 가능성, 검증 가능성, 안전성과 같은 도전을 겪어야 합니다. 특히, 딥 러닝에서 사용되는 많은 현재 AI 모델은 “블랙 박스“로 작동하여, 그들의 의사 결정 과정을 이해하거나 검증하기 어렵게 만듭니다. 이 불투명성은 금융, 의료, 자율 시스템과 같은 고위험 산업에서重大한 위험을 제기합니다.

안전성과 신뢰성이 중요한 산업에서 신경망을 사용하는 경우, 강건성과 안전성을 보장하는 것이 중요합니다. Ignatovich는 설명합니다, “신경망은 점점 더 안전성에 중요한 산업에서 사용되고 있으므로, 의도한 대로 작동하고 잡음에 강건한지 확인하는 것이 매우 중요합니다. ImandraX의 수치 계산에 대한 추론과 전반적인 형식적 검증 인프라는 신경망 속성의 검증을 가능하게 하며, 제3자 정리 증명기에 의해 생성된 증명의 올바름을 확인합니다.”

금융, 방위, 자율 시스템을 위한 의미

금융, 방위, 자율 시스템과 같은 산업은 정밀성, 신뢰성, 규정 준수가 중요한 환경에서 작동합니다. 이러한 분야의 규제 표준은不断으로 발전하고 있으므로, AI 주도된 솔루션은 엄격한 감독 요구사항을 충족해야 합니다. 이러한 규정에 따르지 않을 경우, 법적 결과, 재정적 손실, 안전 위험이 발생할 수 있습니다.

Ignatovich는 추가로 말했습니다, “이러한 산업은 엄격한 규제와 안전성 속성을 따라야 하며, 그 복잡성은 인간이 완전히 이해할 수 있는 수준을 넘어섰습니다. Imandra의 증명 자동화와 상태 공간 영역 분할, 및 LLM 통합을 통해, 개발자와 엔지니어는 시스템 동작을 깊이 분석하고, 규정 준수를 보장하며, AI 주도된 시스템을 엄격하게 테스트할 수 있습니다.”

금융 시장에서, AI 알고리즘은 실시간 트레이딩 결정, 사기 탐지, 리스크 관리를 담당합니다.わずかな 불일치는 막대한 결과를 초래할 수 있으므로, 형식적 검증과 자동화된 추론은 시스템 무결성을 유지하기 위해 필수적입니다. 방위 분야에서는 자율 시스템이 작동하는 경우, 미션 목표와 안전 프로토콜에 따라 작동하는지 확인하는 것이 중요합니다.

자율 시스템, 자율 주행 자동차, 드론 등은 예측 불가능한 환경에서 작동하면서, 승객의 안전과 규정 준수를 보장해야 합니다. 이러한 AI 주도된 시스템이 모든 가능한 조건에서 신뢰할 수 있게 작동하는지 확인하는 것은 전통적인 방법으로는 제공할 수 없는 철저한 테스트 방법론이 필요합니다. ImandraX는 자동화된 논리적 검증을 제공하여, 시나리오 기반 테스트를 가능하게 하여, AI의 예측 불가능성에 따른 위험을 줄입니다.

뉴로심볼릭 AI와 AI 파워드 의사 결정의 미래

Ignatovich는 강조했습니다, “우리는 뉴로심볼릭 접근 방식을 AI의 다음 큰 발전 단계로 본다. 전통적인 통계 모델, 즉 LLM은 근본적인 논리적 추론이 부족합니다. ImandraX는 이 격차를 메우며, 복잡한 알고리즘을 분석하기 위한 자동화의 無比한 수준을 제공합니다.”