Здравствуйте, Shmj, Вы писали:

S>Интересна ли вам тема формализации математики?
Нет.

S>Так же это будет первым шагом к тому, что ИИ сам решал мат. проблемы.
А как ИИ научить основным понятиям и аксиомам? Вновь же все упрется не в математику, а в лингвистику.