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