ChatGPT Astra решила 10 нерешенных математических задач?

Действительно ли ChatGPT может решить нерешенные математические задачи? OpenAI утверждает, что Astra, их еще не выпущенное следующее крупное семейство моделей, сгенерировало десять существенных новых результатов в области математики и теоретической информатики. Astra — это не та версия ChatGPT, которую можно использовать сегодня, но OpenAI опубликовала сборник статей объемом 249 страниц, заметки об открытиях и сертификаты Lean для независимой проверки. В этом видео я подробно разбираю, что именно опубликовала OpenAI, почему утверждение о «десяти решенных проблемах» требует уточнения, что означает и чего не означает заявление о результатах примерно в 2000 долларов, как работает верификация Lean и почему ИИ может добиваться прогресса в сложных математических задачах, при этом терпя неудачу в, казалось бы, простых задачах. Получайте новости об ИИ с ежедневной рассылкой Кайла: https://aiwithkyle.com/join Разделы: 00:00 Что утверждает ChatGPT Astra 00:53 Что на самом деле выпустила OpenAI 02:01 Доказательства против маркетинга 02:25 Достижения против решенных проблем 04:00 Что на самом деле означает заявление о 2000 долларов 05:55 Почему математика, а не клубника? 07:58 Зазубренная граница 09:08 Можно ли доверять доказательствам? 11:52 ИИ уже вырывается из лаборатории 13:50 Действительно ли ИИ креативен? 15:54 Узкое место сместилось 17:26 Ученые становятся директорами 18:27 Мой вердикт по ChatGPT Astra Источники: OpenAI - Десять достижений в математике и теоретической информатике https://openai.com/index/ten-advances... OpenAI - Сборник статей «Десять достижений» https://cdn.openai.com/pdf/ten-proofs... OpenAI - Заметки о математических открытиях https://cdn.openai.com/pdf/reasoning-... OpenAI - Публичные сертификаты Lean https://github.com/openai/ten-proofs Ноам Браун - Сообщение о запуске Astra https://x.com/polynoamial/status/2083... Способность к подсчету больших языковых моделей и их влияние Токенизация https://arxiv.org/abs/2410.19730 Навигация по извилистому технологическому рубежу https://pubsonline.informs.org/doi/10...