Математика всё?
OpenAI выложило в открытый доступ решения нескольких сотен "математических проблем столетия" из самых разных областей математики. Сама модель не находится в открытом доступе, для формальных доказательств использовался Lean (язык для доказательства теорем). Настроения в бывшем твиттере самые разнообразные, от эйфории и "невероятный прогресс в науке" до скептичного "это требует доказательств" и "ИИ просто позаимствовал имеющиеся наработки и закончил на основе работ других авторов". Если бы это доказали люди, то за это точно дали бы несколько десятков Филдсовских премий.
Видимо, этот день войдет в историю либо как самый важный день за всю историю математики (либо как массивный PR от OpenAI).
Ссылка на репозиторий: https://github.com/openai/math
Ссылка на статью: https://www.nytimes.com/2026/10/06/science/openai-math-probl... (ссылка не включена в основные запретительные списки РФ)
Ссылка на Реддит: https://www.reddit.com/r/Physics/comments/1wzgqwn/openai_dro...
"Участники встречи предложили публиковать результаты в виде научных работ с подробным объяснением методов и полученных доказательств. По мнению математика Северо-Западного университета (Northwestern University) в США Брайны Кра (Bryna Kra), это позволило бы другим исследователям проверить результаты, разобраться в них и использовать в дальнейшей работе. Однако, по её словам, OpenAI не последовала этой рекомендации и вместо этого собирается разместить сотни результатов на GitHub. «Судя по всему, эти пожелания были проигнорированы», — отметила она."
т.е. что она там нарешала, будут разбираться хз сколько