Как работает AlphaProof Nexus
В основе системы — Gemini 3.1 Pro: она составляет и правит доказательства на формальном языке Lean. После каждого изменения Lean проверяет доказательство, а сообщения об ошибках помогают системе сделать следующую попытку. Для более сложных подзадач AlphaProof Nexus может обратиться к AlphaProof — специализированному инструменту для доказательств. По данным Google DeepMind, девять задач Эрдёша система решила и без AlphaProof.
Команда также сообщила, что AlphaProof Nexus доказал 44 гипотезы из базы целочисленных последовательностей OEIS, решил открытую задачу алгебраической геометрии и улучшил известную границу в минимаксной оптимизации.
Споры об ИИ и математике
Публикация вышла на фоне споров о том, как оценивать математические результаты ИИ. Недавно OpenAI выложила на GitHub сотни доказательств, созданных ИИ, вместо того чтобы отправить их в научные журналы. Ассоциация математиков за человечество, которую возглавляет Теренс Тао, призвала бойкотировать такой подход. Google DeepMind, в отличие от OpenAI, отправила свою работу на научное рецензирование.
Читайте также
Великобритания укрепит киберзащиту: министр призовёт ИИ-компании усилить меры безопасности
ИИ-агенты могут безошибочно выполнять каждый вызов инструмента и всё равно нарушать корпоративные правила
Бум центров обработки данных для ИИ резко увеличивает число газовых электростанций, загрязняющих воздух
Сможет ли ИИ-индустрия склонить противников дата-центров на свою сторону, отказавшись от соглашений о неразглашении?
Исследование: команды ИИ-агентов тратят массу токенов ради почти незаметного роста качества
Эксперты предупреждают: камеры Flock — лишь начало антиутопической слежки, которая превращает жизнь в ад
Этот график расходов на дата-центры на фоне всего остального строительства вас ужаснёт
Эти руководители считают, что голосовой ИИ ещё не пережил свой момент ChatGPT
Исследование: ИИ-агенты завышают свои результаты и пока далеки от автономных исследований
Криптогуру опасаются, что ИИ взломает математику блокчейна и позволит хакерам безнаказанно красть средства
Даже между ИИ-агентами-мужчинами и женщинами есть разрыв в оплате труда
При Трампе вернулось обещание эпохи Рейгана: ИИ разгонит экономику — и долг перестанет быть проблемой
Я сделал ужасные игры с ИИ-песочницей Google
ArXiv ограничивает подачу двумя статьями в месяц: поток ИИ-публикаций перегружает сервер препринтов
Дешёвые токены ИИ подстёгивают спрос — именно на это и рассчитывает Дженсен Хуанг
Odyssey-3 — новая генеративная модель мира, которую можно опробовать бесплатно
Оценка Lancet: ядерная война и злонамеренное применение ИИ грозят гибелью человечества к 2100 году
Сатья Наделла из Microsoft: моделям ИИ нужен «аварийный тормоз»
Apple раскрыла сделку по найму команды и лицензированию технологий стартапа персонализированных подкастов Huxe
Одна из последних уцелевших в США каштановых рощ может вскоре исчезнуть ради ИИ-дата-центра
Ежедневные новости об ИИ
Каждый день отбираем важные новости об ИИ и рассказываем главное — без хайпа и воды. Если хотите понимать, что происходит в ИИ раньше остальных, — подписывайтесь.
Только важное — каждый день
В Telegram