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

Новый результат, по мнению экспертов, может стать важным шагом в развитии автономных научных систем.

Китайский ИИ решил математическую задачу, которую не могли разгадать более 10 лет, пишет South China Morning Post.

Задача в области коммутативной алгебры была сформулирована в 2014 году математиком Дэном Андерсоном из Университета Айовы. Все эти годы специалисты пытались ее разгадать, но безуспешно.

Главная особенность нового подхода – полная автономность. ИИ не просто проверял готовые гипотезы, а самостоятельно проходил весь путь: формулировал предположения, тестировал их и находил доказательства. В отличие от предыдущих решений в области ИИ участие человека на промежуточных этапах не требовалось.

Разработка основана на двухагентной архитектуре: алгоритмы исследовали математическое пространство, взаимодействуя друг с другом и постепенно уточняя решения. Такой подход позволил системе выйти на верифицированный результат без внешних подсказок.

Значительные успехи в этой области ранее демонстрировала, например, система AlphaProof от DeepMind. Однако в большинстве случаев человек помогал ИИ.

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