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