研究档案
Andrey Nechesov, PhD
数理逻辑 · AI 验证 · 智慧城市 · 多智能体系统 · 区块链理论
IAIC FZCO 创始人 & 所有人 · 迪拜
索博列夫数学研究所——学术传承
大学 AI 中心研究负责人
IAIC 主席
IEEE Access author
我的工作处于数理逻辑、AI 验证与大规模系统设计的交叉点。我的核心论点：在 AI 已经参与决策的场景——城市、政府、自主多智能体系统——需要一个独立、可验证的层来校验 AI 的产出，就像审计师核查公司账目一样。
我的学术背景是数理逻辑与语义程序设计——研究 Gandy 式不动点定理、P = L 问题，以及形式系统的多项式可计算表示。此后我转向应用 AI 基础设施：将大语言模型与形式逻辑结合的可信 AI 方法，以及将这些方法落地的 ENIGMA Axiom 验证引擎。
如今我通过迪拜的 IAIC FZCO 为构建高风险 AI 的组织提供咨询，并组织会议（MathAI、SmartCity、IAIC 系列活动）与编辑出版计划，凝聚可信 AI 领域的研究社区。
P = L、Gandy 不动点定理的多项式类比、多项式可计算表示。
将 LLM 与形式逻辑系统结合；对模型输出进行形式化 + 事实性校验（ENIGMA Axiom）。
虚拟城市、数字孪生，以及城市尺度的自主 AI 社会。
基于任务的认知架构；以 AI + 可验证记录提升政府效率与公共智能。