Недавно OpenAI опубликовала решение одной из так называемых «Призовых задач тысячелетия» (Millennium Prize Problems) — семи фундаментальных математических проблем, каждая из которых отмечена призом в 1 миллион долларов от Института математики Клэя. Речь идёт о задаче о существовании и гладкости уравнений Навье–Стокса — вопросу, который оставался открытым почти 90 лет. Важная оговорка: публикация — это анонс самой OpenAI. Доказательство формализовано в Lean (о чём ниже), так что компьютер может проверить его независимо, но полное рецензирование математическим сообществом ещё впереди...

Здравствуйте. Долго не могла понять что означает комбинация из этих цифр. Оказывается, что это всего лишь мем "6-7" "Сикс Севен" распространяется в просторах сети и среди молодежи.