연구 프로필
Andrey Nechesov, PhD
수리논리 · AI 검증 · 스마트 시티 · 멀티 에이전트 시스템 · 블록체인 이론
IAIC FZCO 설립자 & 소유주 · 두바이
소볼레프 수학연구소 — 학문적 계보
대학 AI 센터 연구 책임자
IAIC 의장
IEEE Access author
저는 수리논리, AI 검증, 대규모 시스템 설계의 교차점에서 일합니다. 핵심 논지: AI가 이제 의사결정을 내리는 환경 — 도시, 정부, 자율 멀티 에이전트 시스템 — 에는 감사인이 회사 장부를 검사하듯 AI의 산출물을 검사하는 독립적이고 검증 가능한 레이어가 필요합니다.
제 배경은 수리논리와 시맨틱 프로그래밍입니다 — Gandy 유형 고정점 정리, P = L 문제, 형식 체계의 다항 계산 가능 표현에 관한 연구. 거기서 응용 AI 인프라로 옮겨왔습니다: 대규모 언어 모델과 형식 논리를 결합하는 신뢰 가능 AI 방법론, 그리고 그 방법론을 실제로 구동하는 ENIGMA Axiom 검증 엔진.
현재는 두바이의 IAIC FZCO를 통해 고위험 AI를 구축하는 조직들에 자문하고, 신뢰할 수 있는 AI를 중심으로 연구 커뮤니티를 모으는 컨퍼런스(MathAI, SmartCity, IAIC 행사)와 편집 이니셔티브를 조직합니다.
P = L, Gandy 고정점 정리의 다항 유사 정리, 다항 계산 가능 표현.
LLM과 형식 논리 체계의 결합; 모델 출력의 형식적 + 사실적 검증(ENIGMA Axiom).
가상 도시, 디지털 트윈, 도시 규모의 자율 AI 사회.
작업 기반 인지 아키텍처; 정부 효율화와 시빅 인텔리전스를 위한 AI + 검증 가능한 기록.