이 논의는 현재 AI 시스템(예: 대규모 언어 모델)에서 수학적으로 기반을 두고 실현 가능한 구현을 가진 이론적 AI 주제를 탐구합니다. 주제에는 추론 체인, 지식 그래프 및 확률적 추론이 포함되며, 이들은 모두 형식화된 수학을 기반으로 하며 현실 세계의 AI 응용 프로그램에 잠재력을 보여줍니다.