← Вернуться к списку
Сотрудники MIT получили гранты «Искусственный интеллект для математики», чтобы ускорить математические открытия
Краткое содержание
Исследователи кафедры математики Дэвид Ро и Эндрю Саттерленд стремятся продвинуть автоматическое доказательство теорем; еще четверо выпускников Массачусетского технологического института также удостоены наград.
Полный текст статьи пока не загружен.