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