Агент Google DeepMind решил 9 открытых математических задач Эрдёша
Агент Google DeepMind решил 9 открытых математических задач Эрдёша Исследовательский агент AlphaProof Nexus, разработанный Google DeepMind, решил 9 из 353 открытых математических задач, связанных с именем венгерского математика Пала Эрдёша. Две из них оставались нерешёнными 56 лет. Об этом сообщает «IXBT News». На каждую решённую задачу Эрдёша система тратила на вычисления несколько сотен долларов. Кроме того, агент доказал 44 из 492 открытых гипотез из Онлайн-энциклопедии целочисленных последовательностей (OEIS). Ключевое отличие системы от обычного чат-бота — использование Lean, языка и среды для формализации математических доказательств. ИИ предлагает доказательство в формальном виде, после чего Lean проверяет каждый логический шаг.
13 просмотров