Искусственный интеллект Claude от компании Anthropic достиг значительного прорыва, завершив формальное доказательство теоремы Ферма. Согласно результатам, опубликованным в материале, это событие, произошедшее в сентябре 2026 года, подчеркивает растущие возможности технологий в области математики и искусственного интеллекта.
Достижения Claude в программировании
Claude, обладая мощными вычислительными ресурсами, смог написать 13 миллионов строк кода за рекордные 11 дней. Это достижение не только демонстрирует эффективность современных ИИ-систем, но и открывает новые горизонты для формализации математических доказательств.
Влияние на математическое сообщество
Доказательство теоремы Ферма, одной из самых известных и сложных математических задач, может стать основой для проверки других теорем. Это, в свою очередь, поможет снизить количество неверных доказательств, что является важным шагом для всего математического сообщества. Успех Claude подчеркивает, как искусственный интеллект может изменить подход к математике и научным исследованиям в целом.
Недавно в США сенатор Берни Сандерс и конгрессмен Грег Касар представили законопроект о запрете искусственного суперинтеллекта, что подчеркивает важность регулирования технологий, о которых шла речь в контексте достижений ИИ, таких как Claude. Подробнее.
