Китайский ИИ самостоятельно справился с давно нерешенной математической задачей
Ученые из Peking University создали ИИ, который самостоятельно решил сложную математическую гипотезу без участия человека. Система сочетает поиск, рассуждение и строгую проверку доказательств, открывая новую эру в науке.
Китайские ученые создали систему искусственного интеллекта, способную самостоятельно решать сложные математические задачи без участия человека, сообщает Independent.
Указывается, что разработка команды из Peking University смогла решить давнюю алгебраическую гипотезу, предложенную математиком Dan Anderson еще в 2014 году. На это у нейросети ушло всего около 80 часов - задачу, которая могла бы занять у ученых годы.
Система состоит из двух "умных модулей". Первый - Rethlas - анализирует задачу и ищет возможные пути решения, имитируя мышление математика. Второй - Archon - проверяет и формализует доказательство, превращая его в строгую математическую запись с помощью языка Lean 4.
Главное отличие этой технологии - полная автономность. В отличие от предыдущих ИИ-инструментов, здесь не требуется постоянный контроль со стороны человека. По словам разработчиков, система способна работать как самостоятельный исследователь, находя решения и проверяя их.
Это особенно важно, потому что в математике любая ошибка недопустима, а многие ИИ склонны выдумывать ответы. Новая система сочетает поиск, логическое мышление и строгую проверку, что делает результаты надежными, - отмечают исследователи.
Ученые считают, что такие технологии могут радикально ускорить научные открытия.
В будущем ИИ сможет не только помогать исследователям, но и самостоятельно проводить сложные исследования, на которые раньше уходили годы совместной работы специалистов, - считают ученые.