OpenAI выложил 372 новых математических результата разом — и среди них доказательство Unique Games Conjecture, над которой учёные бились больше 20 лет. 🤯

Самое дикое: математики из MIT узнали, что OpenAI готовит релиз, и в последний момент сами досрочно опубликовали свой вариант доказательства — буквально чтобы успеть раньше модели. OpenAI всё равно выложила своё, да ещё и с формальной проверкой в Lean.

Получается натурная гонка человек vs нейронка в реальном времени, а не на бумаге.

[#AI](/search?q=%23AI) [#OpenAI](/search?q=%23OpenAI) [#математика](/search?q=%23%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)