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