https://news-mos.ru

Учёный считает, что нейросети неспособны освоить всю математику

/ 8 сентября 2026 20:57

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

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

Шофилд подчеркнула, что искусственный интеллект полностью опирается на уже существующие и опубликованные знания, а новые идеи и открытия продолжают появляться благодаря работе людей. По её словам, нейросети способны решать математические задачи только на основе тех данных, которые уже есть в распоряжении человечества.

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

Общество