ผมทำงานที่จุดตัดของตรรกศาสตร์เชิงคณิตศาสตร์ การตรวจสอบ AI และการออกแบบระบบขนาดใหญ่ ข้อเสนอหลักของผม: สภาพแวดล้อมที่ AI ตัดสินใจอยู่ในปัจจุบัน — เมือง รัฐบาล ระบบหลายเอเจนต์อัตโนมัติ — ต้องการชั้นตรวจสอบที่อิสระและพิสูจน์ได้ ซึ่งตรวจสิ่งที่ AI ผลิตออกมา เหมือนผู้สอบบัญชีตรวจบัญชีของบริษัท
พื้นฐานของผมคือตรรกศาสตร์เชิงคณิตศาสตร์และการเขียนโปรแกรมเชิงความหมาย — งานเกี่ยวกับทฤษฎีบทจุดตรึงแบบ Gandy ปัญหา P = L และการแทนระบบรูปนัยที่คำนวณได้ในเวลาพหุนาม จากนั้นผมขยับมาสู่โครงสร้างพื้นฐาน AI ประยุกต์: วิธีการ AI ที่เชื่อถือได้ซึ่งผสานโมเดลภาษาขนาดใหญ่กับตรรกะเชิงรูปนัย และเอนจินตรวจสอบ ENIGMA Axiom ที่นำวิธีเหล่านั้นมาใช้งานจริง
ปัจจุบันผมให้คำปรึกษาแก่องค์กรที่สร้าง AI เดิมพันสูง — ผ่าน IAIC FZCO ในดูไบ — และจัดการประชุมวิชาการ (MathAI, SmartCity, งานของ IAIC) รวมถึงโครงการด้านบรรณาธิการที่รวมชุมชนวิจัยรอบประเด็น AI ที่เชื่อถือได้
P = L, อนาล็อกเชิงพหุนามของทฤษฎีบทจุดตรึงของ Gandy, การแทนที่คำนวณได้ในเวลาพหุนาม
การผสาน LLM กับระบบตรรกะเชิงรูปนัย; การตรวจสอบผลลัพธ์ของโมเดลทั้งเชิงรูปนัย + เชิงข้อเท็จจริง (ENIGMA Axiom)
เมืองเสมือน ดิจิทัลทวิน และสังคม AI อัตโนมัติระดับเมือง
สถาปัตยกรรมการรู้คิดแบบอิงงาน; AI + บันทึกที่ตรวจสอบได้เพื่อประสิทธิภาพภาครัฐและปัญญาภาคพลเมือง
ผมให้คำปรึกษาแก่องค์กรที่สร้าง AI เดิมพันสูง — ออกใบแจ้งหนี้ผ่าน IAIC FZCO ดูไบ
ดูบริการที่ปรึกษา & จองการปรึกษา →