Генеративная нейросеть для проверки и доказательства новых математических результатов
Разработка нейронной сети (программного пакета) для проверки доказательств математических утверждений (и доказательства новых утверждений в перспективе) на основе архитектуры Колмогорова-Арнольда.
Ссылка
Направление
IT
Рынки
AeroNet, NeuroNet, TechNet
Сквозные технологии
Искусственный интеллект, Технологии машинного обучения и когнитивные технологии, Технологии хранения и анализа больших данных
Вконтакте