यह चर्चा उन सैद्धांतिक AI विषयों का अन्वेषण करती है जिनके गणितीय आधार हैं और वर्तमान AI सिस्टम (जैसे बड़े भाषा मॉडल) में संभावित कार्यान्वयन है। इन विषयों में तर्क श्रृंखलाएं, ज्ञान ग्राफ़ और प्रायिकता तर्क शामिल हैं, जो सभी औपचारिक गणित पर आधारित हैं और वास्तविक दुनिया के AI अनुप्रयोगों के लिए संभावना दिखाते हैं।