Математика всё?⁠⁠

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...