Компания Anthropic сообщила о том, что её модель искусственного интеллекта Claude успешно формализовала доказательство Великой теоремы Ферма. Данная теорема, выдвинутая Пьером де Ферма в 1637 году, оставалась недоказанной более 350 лет и является одной из самых известных проблем в математике.

Используя Claude, Anthropic смогла создать проверяемую на компьютере версию этого сложного доказательства. Это достижение подчеркивает возможности современных технологий в решении математических задач, которые ранее считались непосильными для человека.

Значимость данного события заключается в том, что оно открывает новые горизонты для применения искусственного интеллекта в научных исследованиях. Успех Claude может вдохновить другие компании и исследовательские группы на использование ИИ для решения сложных математических и научных задач, что может привести к новым открытиям и прорывам в различных областях.