Руководитель кафедры математики и статистики колледжа Суортмор Линн Стюэрле Шофилд заявила, что искусственный интеллект не сможет сформировать исчерпывающую математическую базу, поскольку исследователи постоянно выдвигают новые идеи и получают свежие результаты.
Компания Anthropic сообщила, что модель Claude менее чем за две недели проверила и перевела в формальный вид доказательство Великой теоремы Ферма с использованием языка программирования. В ходе работы нейросеть создала около 13 миллионов строк кода и подтвердила 29,5 тысячи вспомогательных теорем.
Результат оценил Кевин Баззард, специалист по цифровой формализации математики из Имперского колледжа Лондона. По его словам, компьютерная проверка была завершена полностью, а исходные аксиомы не подверглись искажению.
Шофилд подчеркнула, что ИИ способен решать математические задачи, опираясь прежде всего на уже опубликованные знания. При этом человеческие исследователи продолжают разрабатывать новые подходы, получать дополнительные данные и расширять границы научных представлений.