আমি কাজ করি গাণিতিক যুক্তিবিজ্ঞান, 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, দুবাই-এর মাধ্যমে।
পরামর্শ সেবা দেখুন & একটি কনসালটেশন বুক করুন →