Математика
Математиката е фундаментална наука за числата, структурите, пространствата и зависимостите, която служи като теоретична основа за компютърните науки, физиката и съвременния изкуствен интелект.
Връзка с изкуствения интелект
Развитието на съвременните модели за разсъждение и машинно обучение превърна автоматизираното доказване на теореми и решаването на дългогодишни отворени проблеми в ключово поле за тестване на границите на граничните модели. Интеграцията на формални системи за верификация и невронни архитектури открива нови възможности пред научните изследвания.