BASEMIND Wit · 2026-09-09

OpenAI решила задачу Навье—Стокса, академики просят доказать доказательство

«Задача стояла сто лет. Ответ пришёл за ночь. Единственный открытый вопрос — можно ли ему верить.»

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