Tôi làm việc tại giao điểm của logic toán học, xác minh AI và thiết kế hệ thống quy mô lớn. Luận điểm cốt lõi của tôi: những môi trường nơi AI hiện đang ra quyết định — thành phố, chính phủ, hệ thống đa tác tử tự hành — cần một lớp độc lập, có thể xác minh, để kiểm tra những gì AI tạo ra, giống như kiểm toán viên kiểm tra sổ sách của một công ty.
Nền tảng của tôi là logic toán học và lập trình ngữ nghĩa — các công trình về định lý điểm bất động kiểu Gandy, bài toán P = L, và các biểu diễn khả tính đa thức của các hệ hình thức. Từ đó tôi chuyển sang hạ tầng AI ứng dụng: các phương pháp AI đáng tin cậy kết hợp mô hình ngôn ngữ lớn với logic hình thức, và công cụ xác minh ENIGMA Axiom đưa các phương pháp đó vào thực tiễn.
Hiện nay tôi tư vấn cho các tổ chức xây dựng AI có mức rủi ro cao — thông qua IAIC FZCO tại Dubai — và tổ chức các hội nghị (MathAI, SmartCity, các sự kiện IAIC) cùng các sáng kiến biên tập quy tụ cộng đồng nghiên cứu quanh chủ đề AI đáng tin cậy.
P = L, các tương tự đa thức của định lý điểm bất động Gandy, các biểu diễn khả tính đa thức.
Kết hợp LLM với các hệ logic hình thức; kiểm tra hình thức + thực chứng đầu ra của mô hình (ENIGMA Axiom).
Thành phố ảo, bản sao số, và các xã hội AI tự hành ở quy mô thành phố.
Kiến trúc nhận thức dựa trên nhiệm vụ; AI + hồ sơ có thể xác minh cho hiệu quả chính phủ và trí tuệ công dân.
Tôi tư vấn cho các tổ chức xây dựng AI có mức rủi ro cao — hóa đơn qua IAIC FZCO, Dubai.
Xem dịch vụ tư vấn & đặt lịch tư vấn →