Сегодня все пишут про математику и 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