Детали: OpenAI опубликовала аналитическое доказательство и Lean-формализацию утверждения о том, что

Детали: OpenAI опубликовала аналитическое доказательство и Lean-формализацию утверждения о том, что гладкое течение жидкости может образовать сингулярность за конечное время. По описанию компании, агенты работали около 88 часов, а формализация и проверка в Lean заняли ещё 17 часов. Компания прямо пишет, что не претендует на Millennium Prize.

Это математический результат для идеализированных уравнений, а не утверждение, что реальная вода «взорвётся». Сингулярность означает неограниченный рост скорости в модели; физическая интерпретация требует отдельной оценки.

Где деньги: AI-математики, формальные доказательства, verification-as-a-service и инженерные инструменты для научных команд. Главная ценность — ускорение поиска и проверяемость, а не автоматическая выплата премии.

Вердикт: Это громкий исследовательский milestone, но слово «решил» пока означает результат самой OpenAI. Следующий тест — независимая проверка математиками и сообществом Lean.

Источник: OpenAI

Карта для оплаты AI: открыть бота