Imandra Inc.자동화 된 논리적 추론을 혁신하는 AI 회사는 신경 상징적 인 AI 추론의 최신 발전 인 Imandrax의 출시를 발표했다. 이 랜드 마크 릴리스는 증명 자동화, 반례 생성 및 의사 결정 절차의 최첨단 기능을 소개하여 AI 구동 논리 분석을위한 새로운 산업 표준을 설정합니다.
AI 시스템이 금융, 방어, 의료 및 자율 시스템과 같은 산업 전반에 걸쳐 점점 더 많은 미션 크리티컬 애플리케이션을 확보함에 따라 신뢰할 수 있고 설명 할 수 있으며 수학적으로 엄격한 추론에 대한 수요는 결코 높아지지 않았습니다. Imandrax는 강력한 자동화 된 추론을 AI 에이전트, 검증 프레임 워크 및 실제 의사 결정 모델과 통합하여 AI의 경계를 푸시합니다.
Imandra Inc. : 개척 AI 중심 논리적 추론
IMANDRA Inc.는 금융, 방어 및 안전 중요 산업 분야의 자동화 된 논리적 추론을위한 전 세계 AI 회사의 선구적인 추론 플랫폼입니다. 고급 AI 기반 솔루션에는 Imandra Markets® 및 Imandra Connectivity®가 포함되어 있으며, 이는 미션 크리티컬 애플리케이션을위한 엄격한 공식 검증, 설계 자동화 및 준수 도구를 제공합니다. 자동화 된 추론의 깊은 발전을 기반으로 Imandra는 비즈니스가 논리적이고 정확하며 감사 가능한 AI 중심의 통찰력을 자신있게 적용 할 수 있도록합니다.
Imandra는 세계에서 가장 중요한 알고리즘에 엄격함과 거버넌스를 제공하는 데 전념하고 있습니다. 이 회사는 클라우드 규모의 자동화 추론 시스템을 구축하여 조직이 AI 추론을위한 수학적 논리를 활용할 수 있도록했습니다. 신뢰할 수있는 개발에 중점을두고 있습니다 설명 가능한 aiImandra의 기술은 전 세계 연구원, 기업 및 정부 기관에 의존합니다.
AI 추론으로 막대를 올리십시오
Denis Imandra, 말했다, “Imandrax는 고급 상징적 추론을 AI 워크 플로의 핵심 부분으로 만드는 혁신적인 단계입니다. AI 에이전트를 강력한 자동화 된 논리적 추론 및 공식적인 검증 기능으로 장착함으로써 우리는 지능형 시스템이 달성 할 수있는 것의 경계를 넓히고 있습니다.”
Grant Passmore 박사, Imandra Inc.의 공동 설립자 덧붙여 “Imandrax는 금융, 방어 및 AI를 포함한 가장 까다로운 산업 중 일부에서 수년간의 연구 및 실제 배치의 정점입니다. 우리의 고객과 파트너는 금융 거래소에서 자율적 대리인에 이르기까지 미션 크리티컬 시스템의 안전과 신뢰성을 보장하기 위해 Imandra의 자동화 된 추론에 의존합니다. Imandrax를 통해 우리는 엄격한 추론에 접근 할 수있는 것이 아니라 차세대 AI 기반 의사 결정에 없어서는 안될 것입니다.”
Imandrax의 주요 혁신
Imandrax는 다음을 포함하여 몇 가지 획기적인 기능을 소개합니다.
- 증명 자동화의 혁신 – 데이터 유형을 통해 혼합 개별 및 지속적인 재귀 기능을위한 새로운 기술을 도입하여 논리적 추론을 발전시킵니다. 이 혁신은 새로운 첫 번째 공식 모델과 검증을 가능하게합니다. IEEE P3109 신경망 양자화 및 증류에 필수적인 소형 (<16 비트) 이진 부동 소수점 형식에 대한 표준.
- 신경망 안전 검증 -신경망 안전 속성 검증을 위해 공식적으로 검증 된 최초의 증명 검사기에 전원을 공급하여 고차계 경계 모델 점검 및 유도를 활용하여 AI 모델이 의도 한대로 안전하고 작동하는지 확인합니다.
- 상태 공간 지역 분해 -지역 분해 작업에 대해 4 배 이상의 속도를 제공하여 고정 연결 테스트 및 기타 미션 크리티컬 애플리케이션에서 재무 사용자의 효율성을 크게 향상시킵니다.
- 개발자 경험 향상 – 새로 도입 된 대 코드 플러그인을 사용하면 병렬 증거 개발이 가능하여 동시 작업이 Imandra의 추론 클라우드에서 실행되고 공식적인 검증 워크 플로를 간소화 할 수 있습니다.
- 원활한 AI 통합 – Imandrax는 Imandra의 새로운 Python API와 완벽하게 통합되어 AI 에이전트 프레임 워크에 원활한 채택을 허용하여 Neurosymbolic AI 추론 제의 다음 물결의 단계를 설정합니다.
AI의 가장 어려운 논리적 과제를 해결합니다
데니스 이그나토비치 정해진, “Imandrax는 자동화 된 추론의 수년간의 대규모 산업 응용 프로그램을 구축합니다. 버전 X는 새로운 추론 알고리즘, 획기적인 건축 기능 및 Langgraph 라이브러리를 포함한 에이전트 AI와의 원활한 통합을 통합합니다.”
신경망과 AI 중심 의사 결정 모델은 설명, 검증 가능성 및 안전을 포함한 다양한 과제와 경쟁해야합니다. 많은 현재 AI 모델, 특히 사용 된 모델 딥 러닝,블랙 박스,”의사 결정 과정을 이해하거나 확인하기가 어렵습니다. 이 불투명도는 금융, 의료 및 자율 시스템과 같은 고지대 산업에서 주요 위험을 초래하며, AI 결정은 실제 결과를 심오하게 만들 수 있습니다.
신경망에 의존하는 산업의 경우 견고성과 안전을 보장하는 것이 중요합니다. 이그나토비치 설명, “신경망은 안전에 중요한 산업에서 점점 더 의존하고 있으므로 의도 한대로 행동하고 시끄러운 입력에 강력하게 행동하는 것이 매우 중요합니다. Imandrax의 수치 계산과 전반적인 공식적인 검증 인프라에 대한 추론 능력은 신경망 속성을 확인할 수있게되며 제 3 자 정리 전공에 의해 생성 된 증거의 정확성을 확인할 수 있습니다.”
이것이 금융, 방어 및 자율 시스템에 중요한 이유
금융, 방어 및 자율 시스템과 같은 산업은 정밀도, 신뢰성 및 규정 준수가 가장 중요한 환경에서 운영됩니다. 이 분야의 규제 표준은 지속적으로 발전하고 있으며 엄격한 감독 요구 사항을 충족시키기 위해 AI 중심 솔루션이 필요합니다. 이러한 규정을 준수하지 않으면 법적 결과, 재무 손실 및 안전 위험이 발생할 수 있습니다.
이그나토비치 정교함, “이러한 산업은 엄격한 규제 및 안전성을 준수해야하지만, 복잡성은 인간이 완전히 이해할 수있는 것 이상으로 성장했습니다. LLM 통합과 결합 된 Imandra의 증거 자동화 및 상태 공간 영역 분해는 개발자와 엔지니어가 시스템 동작을 심층적으로 분석하고 규정 준수를 보장하며 AI 중심 시스템을 엄격하게 테스트 할 수 있도록합니다.”
금융 시장에서 AI 알고리즘은 실시간 거래 결정, 사기 탐지 및 위험 관리를 담당합니다. 사소한 불일치조차도 막대한 영향을 미칠 수 있으며, 시스템 무결성을 유지하기 위해 공식적인 검증과 자동 추론이 필수적일 수 있습니다. 마찬가지로, 방어에서 자율 시스템은 엄격한 제약하에 운영되어 AI 중심 결정이 미션 목표 및 안전 프로토콜과 일치하도록해야합니다.
자율 주행 차량 및 드론을 포함한 자율 시스템은 승객 안전 및 규제 준수를 보장하면서 예측할 수없는 환경을 탐색 해야하는 AI 모델에 따라 다릅니다. 이러한 AI 중심 시스템이 가능한 모든 조건에서 안정적으로 행동하려면 전통적인 방법이 제공 할 수없는 엄격한 테스트 방법론이 필요합니다. IMANDRAX는 철저한 시나리오 기반 테스트를 허용하여 AI 예측 성과 관련된 위험을 줄이는 자동화 된 논리 검증을 제공하여 발전합니다.
Neurosymbolic AI 및 AI 기반 의사 결정의 미래
이그나토비치 강조, “우리는 신경 상징적 접근이 AI의 진화의 다음 큰 단계로 본다. LLM과 같은 전통적인 통계 모델은 기본 논리적 추론이 부족합니다. Imandrax는 이러한 격차를 해소하여 오늘날 AI의 주요 응용 프로그램 중 하나 인 복잡한 알고리즘을 분석하기위한 타의 추종을 불허하는 자동화를 제공합니다.”
게시물 IMANDRAX : Neurosymbolic AI 추론 및 자동화 된 논리 검증의 혁신 먼저 나타났습니다 Unite.ai.
