Нейросети не смогут выучить всю математику

Нейросети не смогут обладать всеобъемлющими знаниями по математике, поскольку у людей постоянно возникают новые идеи, сообщила РИА Новости заведующая кафедрой математики и статистики колледжа Суортмор Линн Стюэрле Шофилд.

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

"ИИ полностью опирается на знания, которые уже есть и были опубликованы, но у людей постоянно возникают новые идеи, появляются данные, мир развивается, как и исследования",

- рассказала Шофилд.

Математические проблемы нейросеть решает только с опорой на существующие и опубликованные данные, сказала она.

Теорема, сформулированная Пьером де Ферма в XVII веке, утверждала, что ни одна сумма двух целых положительных чисел, возведенных в одинаковую степень выше второй, не может равняться третьему целому числу в той же степени. Ученые не могли найти подтверждение этой идее более трех столетий, пока в конце ХХ века английский математик Эндрю Уайлс не представил сложнейшее многостраничное доказательство, проверка которого вручную заняла у рецензентов целый год.

Источник

https://ria.ru/20260907/nejroseti-2116168484.html?in=l