ИИ Meta* помог закрыть пять задач, которые годами стояли открытыми
ИИ Meta* помог закрыть пять задач, которые годами стояли открытыми 2 октября Meta* выпустила шесть статей вместе с моделью Muse Spark. Пять отвечают на вопросы, которые оставались открытыми. Машина теорему сама не доказала. Математики выбирали задачи и вели обычный чат на metaai в режиме Thinking (модель сначала разбирает шаги, а не отвечает сразу). Muse Spark предлагал ходы доказательства и написал программу перебора на языке GAP (система компьютерной алгебры). Ясный след — контрпример (случай, который ломает общее правило). Для гипотезы Киды 2024 года модель нашла группу из 384 элементов. Люди проверили пример. Meta пишет: часть тех же вопросов независимо закрыли другие группы. Порог задачи про эллипсоид ещё открыт... Источники: https://research.meta.ai/blog/solving-open-research-problems-together * - запрещённая организация на территории РФ. #AI #Meta #MuseSpark #Математика #Наука