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