OpenAI выложил 372 новых математических… — AI | Новости

@ai_it_education

🤖 AI новости для разработчиков, фрилансеров и бизнеса · нейросети, ChatGPT, Claude, автоматизация Tech Lead @ TUI · 9 лет в IT 90% моего кода пишет AI — рассказываю как и зачем Кейсы · Инструменты · Автоматизация Вопросы → @llossless

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

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

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

#AI #OpenAI #математика

OpenAI выложил 372 новых математических результата разом — и среди них доказательство Unique Games C

AI | Новости | Volodymyr Saakian