Только что вышло интересное исследование, в котором авторы доказали новую теорему в алгебраической геометрии, и всё это с помощью специализированной версии Gemini! Несмотря на то, что математика — это не для всех, процесс работы над теоремой оказался довольно увлекательным. Авторы подходили к задаче, как к сложному пазлу, разбивая её на более простые подзадачи. Например, вначале модели давались простые случаи, чтобы проверить, насколько она вообще понимает всё это. И тут начинается веселье – если модель застревала, вместо перезапуска, авторы ловили её на полпути, выискивали логичные моменты и подправляли prompt, чтобы помочь модели продвинуться дальше.

Интересно, что успешные доказательства постепенно поднимали в сложности, словно по лестнице, чтобы модель могла по ним передвигаться. Использовали даже систему над моделью, FullProof, но, к сожалению, отсутствуют детали о её устройстве. Зато авторы сами тщательно проверяли каждый шаг, даже в момент, когда модель делала непростое наблюдение, это подтверждалось человеком, который потом говорил: "Это крутая идея, используй её для всего остального".

Как сказал Ravi Vakil, известный математик, "это был уровень идей, которым можно гордиться". Он отметил, что такая синергия человеческой изобретательности и технологий, как Gemini, приносит значительный прогресс в математике. Круто, не правда ли? Это вообще полезно для общего развития и понимания новых технологий в математике и науке.

Так что, если кто-то хочет взглянуть на всю эту красоту – вот ссылка на статью.