#
computation
Вычислительные методы и алгоритмы
ИИ и нейросетиНепрозрачные ИИ и математическое знание: верификация доказательств
Как непрозрачные ИИ-системы способствуют развитию математического знания и как верификация доказательств сохраняет рациональный статус математики в эпоху вычислений.
3 ответа• 1 просмотр