研究檔案
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 + 可驗證紀錄提升政府效率與公共智慧。