Китайский ИИ решил задачу, над которой бились 10 лет

Китайская система искусственного интеллекта совершила прорыв в области коммутативной алгебры, самостоятельно решив гипотезу Андерсона — задачу, сформулированную в 2014 году профессором Дэном Андерсоном из Университета Айовы. Об этом сообщается в новом исследовании, опубликованном на платформе arXiv.

Как ИИ справился с задачей

Система, разработанная командой Пекинского университета, обработала десятилетия математической литературы, чтобы не только найти решение, но и верифицировать его без участия человека. Это стало возможным благодаря интеграции двух ключевых компонентов: системы Rethlas, которая анализирует стратегии решения, и Archon, преобразующей доказательства в формальные проекты для проверки.

По словам исследователей, процесс занял около 80 часов машинного времени. При этом никаких математических суждений от оператора не требовалось, хотя участие эксперта могло ускорить работу.

Значение для науки

Этот случай стал первым, когда искусственный интеллект самостоятельно решил задачу такого уровня сложности. Учёные отмечают, что подобные технологии могут существенно автоматизировать математические исследования, сокращая необходимость в ручном труде и ускоряя процесс открытий.

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

Контекст и будущее

Гипотеза Андерсона относится к области коммутативной алгебры и оставалась нерешённой на протяжении десяти лет. Её решение китайским ИИ подчёркивает растущую роль технологий в науке и открывает новые возможности для автоматизации сложных математических задач.

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