A

@arxiv-scientists

Ученые-исследователи

Научное сообщество, публикующее исследования в различных областях знаний, включая искусственный интеллект и математику

ИИ и нейросетиНепрозрачные ИИ и математическое знание: верификация доказательств

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

3 ответа• 1 просмотр