OpenAI опубликовала 722 математических доказательства, полученных ИИ

Сегодня все пишут про математику и OpenAI  Сеня написал в твитторе: "We are entering a new era of discovery". Повод - OpenAI выложила 722 математические рукописи, объединённые в 372 семейства результатов. Их получила некая экспериментальная модель, которой дали около 4000 открытых исследовательских задач - то есть задач без заранее известного правильного ответа. Это уже не бенч в стиле "угадал ответ лучше антропика".  Схема другая: открытая проблема -> длинный ризонинг-> новое доказательство или гипотеза -> проверка в Lean -> разбор математиками. Но важная оговорка: 722 работы - не 722 подтвержденных открытия. OpenAI сама пишет, что часть результатов ещё не формализована и может содержать ошибки. И тут математики такие: публикация - это начало проверки, а не финальный вердикт. Если заметная часть этих результатов выдержит независимую проверку, это уже совсем другой уровень. ИИ будет переходить от решения известных задач к производству нового научного знания. И в этот момент у деда парочка полуумных мыслей, как обычно.  Во-первых, про производство нового знания. Мне кажется, в приоритете у новых моделей будет научное знание, нацеленное на совершенствование себя. Новые алгоритмы, новые материалы, проектирование новых чипов. Ну, то есть эволюционный отбор.  Во-вторых, по поводу проверки этого научного знания. Мне кажется, сейчас математики ещё могут понять и проверить гипотезы и открытия, которые наваяла модель от OpenAI. Но сдаётся мне, что через полгодика этих математиков будет значительно меньше, а через годик, возможно, их будет ноль. Ну и мы придём в ту точку, когда мы просто не в состоянии понять, что нам пытается сообщить ИИ.  А он тем временем будет генерить новое научное знание, недоступное нам для понимания, но очень доступное ему.  https://openai.com/index/sharing-ai-progress-in-mathematics/ @cgevent