Экспертный математический ИИ, владеющий всеми областями и уровнями математики.