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

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

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

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

• Телеграм
• Дзен
• Подписывайтесь на наши каналы и первыми узнавайте о главных новостях и важнейших событиях дня.