Навье—Стокс: опубликовано предлагаемое доказательство

OpenAI опубликовала доказательство возникновения сингулярности при гладкой внешней силе и формализацию Lean. Основное исследование выполняла внутренняя модель, а не публичная Astra.

Исследовательское заявление лаборатории; публикация не равна нашему независимому подтверждению или присуждению премии. Считается одним исследовательским эпизодом.

Источники

OpenAI · publication and proof linksОткрыть первоисточник