Убедительный ответ ИИ — ещё не верный. AlphaProof Nexus от Google DeepMind показал друг...
Убедительный ответ ИИ — ещё не верный. AlphaProof Nexus от Google DeepMind показал другой подход: доказательства, которые можно проверить. Результаты прошли научное рецензирование: • 44 гипотезы из базы OEIS • девять из 353 открытых задач Эрдёша, две не поддавались 56 лет Gemini 3.1 Pro пишет и исправляет доказательства на Lean — языке, на котором программа проверяет каждый шаг рассуждения. Проверка идёт после каждой правки. Система также улучшила известную границу в оптимизации, применяемой при обучении некоторых ИИ-моделей. Ценность здесь — проверяемый результат, а не уверенный тон. Но универсальная самостоятельность ИИ в математике пока не доказана. 🔹 Первый Нейронный
1 просмотров