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