722 работы за раз! Спойлер: Мне немного жаль тех, кому придется это перепроверять. OpenAI опубликовала 722 математические рукописи, которые сделала её внутренняя модель: 372 семейства результатов примерно из 20 областей. На один результат в среднем ушло около трёх часов «мышления». Часть доказательств проверена в Lean - языке, где доказательство проверяет компьютер. Реакция математиков спокойнее анонса. Кевин Баззард из Imperial College разобрал 30 работ по своей теории чисел: впечатляющими счёл семь, в Lean из них проверена одна. Консультативная группа при IAS просила раскрывать модель, промпты и число неудачных попыток - этого в выпуске нет. И при этом Фрэнсис Джонсон из UCL, 25 лет работавший над задачей, которую закрыла модель, говорит: «Я сдался». Обе вещи правда. ИИ уже двигает науку. Но поток результатов без проверки - это нагрузка на людей, а не открытие. Генерировать стало дёшево, проверять дорого. Ценность рождается там, где кто-то проверил и взял ответственность на себя. Я благодарю свою команду за то, что перепроверяют меня, там, где это действительно важно и помогают в реализации в том числе ИИ-проектов. www.newscientist.com/article