Китайские исследователи сделали громкое заявление: система искусственного интеллекта Пекинского университета самостоятельно решила математическую задачу, остававшуюся открытой более десяти лет, сообщает South China Morning Post.
Речь идёт о проблеме, сформулированной в 2014 году математиком из Университета Айовы. До сих пор она не поддавалась решению, несмотря на многочисленные попытки специалистов.
Главная особенность разработки — полная автономность. Алгоритм не просто проверял готовые гипотезы, а сам формулировал предположения, тестировал их и находил доказательства. Система построена на двухагентной архитектуре: алгоритмы взаимодействовали друг с другом, исследуя математическое пространство и уточняя решения, что позволило выйти на верифицированный результат без участия человека.
Ранее успехи в этой области демонстрировала система AlphaProof от DeepMind, однако там ИИ всё же опирался на помощь человека при формировании доказательств. Новый результат может стать важным шагом в развитии автономных научных систем: если раньше искусственный интеллект выступал лишь как инструмент ускорения вычислений, то теперь он способен самостоятельно решать фундаментальные задачи.
