13 сентября 2026 г.
Задача Навье–Стокса получила новый ответ: OpenAI заявила о сингулярности за конечное время
На 13 сентября 2026 года OpenAI заявляла, что гладкая трёхмерная жидкость может развить сингулярность за конечное время. Компания также заявила, что оформила доказательство на языке Lean.
На 13 сентября 2026 года OpenAI заявляла, что гладкая трёхмерная жидкость может развить сингулярность за конечное время. Компания также заявила, что оформила доказательство на языке Lean.
Следующая веха — независимая проверка формального доказательства.
Первоисточник
