Google DeepMind опубликовала статью о доказательстве новой теоремы в алгебраической геометрии с помощью внутренней версии Gemini, специализированной для математики. Авторы применили декомпозицию: сложную теорему разбили на серию простых подзадач. Модель сначала решала частные случаи для проверки понимания определений. При затруднениях анализировались частично верные выводы, после чего формулировался новый промпт с предложением использовать найденную стратегию для общего случая. • Успешные доказательства простых задач добавлялись в контекст для решения более сложных. • Использовалась надстройка fullproof (детали не раскрываются). • Генерации модели вручную проверялись экспертами на каждом этапе. Ravi Vakil, президент American Mathematical Society, отметил: — Аргументация Gemini не была пересказом существующих доказательств; это идея такого уровня, которой я бы сам гордился. Мой главный вывод — значимый математический прогресс благодаря синергии человеческой изобретательности и Gemini
Google DeepMind и Gemini доказали новую теорему в алгебраической геометрии
16 января16 янв
1 мин