Создан ИИ AlphaProof Nexus для самостоятельного поиска математических доказательств
Компьютерра ·
Источник: Компьютерра - Журнал о науке и технологиях Исследователи разработали систему искусственного интеллекта AlphaProof Nexus, которая самостоятельно ищет формальные доказательства математических утверждений. Во время испытаний она решила девять задач Эрдеша и доказала 44 гипотезы из Онлайн-энциклопедии целочисленных последовательностей. Две задачи Эрдеша оставались нерешенными более 50 лет. Система использует несколько ИИ-агентов, которые предлагают варианты доказательств и дорабатывают их с учетом обратной связи. Для проверки […] Полная версия статьи: Создан ИИ AlphaProof Nexus для самостоятельного поиска математических доказательств
Источник: Компьютерра - Журнал о науке и технологиях Исследователи разработали систему искусственного интеллекта AlphaProof Nexus, которая самостоятельно ищет формальные доказательства математических утверждений. Во время испытаний она решила девять задач Эрдеша и доказала 44 гипотезы из Онлайн-энциклопедии целочисленных последовательностей. Две задачи Эрдеша оставались нерешенными более 50 лет. Система использует несколько ИИ-агентов, которые предлагают варианты доказательств и дорабатывают их с учетом обратной связи. Для проверки […] Полная версия статьи: Создан ИИ AlphaProof Nexus для самостоятельного поиска математических доказательств