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