La discussion explore des sujets théoriques d'IA qui ont des fondements mathématiques et une implémentation plausible dans les systèmes d'IA actuels, tels que les grands modèles de langage. Les sujets incluent les chaînes de raisonnement, les graphes de connaissances et le raisonnement probabiliste, tous ancrés dans les mathématiques formelles et montrant un potentiel pour des applications IA réelles.