Top.Mail.Ru

OpenAI опубликовала 372 ИИ-доказательства: рынок академической рецензии под…

OpenAI выложила 372 математических результата, сгенерированных ИИ, и сознательно обошла привычный путь через - изображение

OpenAI выложила 372 математических результата, сгенерированных ИИ, и сознательно обошла привычный путь через рецензируемые журналы, выбрав GitHub с формальными проверками на Lean. Для рынка академической рецензии это значит одно: давление на ручную проверку теперь становится системным, а не разовым. OpenAI обещает финансировать семинары по разбору таких результатов и консультировалась с группой при Institute for Advanced Study, но жёстко оставила за собой темп производства доказательств. Краткосрочно для индустрии это сигнал к росту спроса на специалистов по формальной верификации и на инструменты вроде Lean — спрос на тех, кто умеет соединять такие проверки с человеческой экспертизой. https://ai-digest.ru/go/finbazar/3946/

15
Комментарии
0/2000
Сообщение
Тебя ждёт миллион инвесторов
Регистрируйся бесплатно, чтобы учиться у лучших, следить за инсайтами и повторять успешные стратегии
Мы используем файлы cookie, чтобы улучшить ваш опыт на нашем сайте
Нажимая «Принять», вы соглашаетесь на использование файлов cookie в соответствии с Политикой конфиденциальности. Можно самостоятельно управлять cookie через настройки браузера: их можно удалить или настроить их использование в будущем.