Ух какая история про ИИ и злые корпорации Два математика год работали над решением проблемы Навье-Стокса (какая-то там великая проблема про описание движения жидкостей дифференциальными уравнениями, которую не могут решить 90 лет). Решение проблемы – процесс многоступенчатый, и для формального описания решений разных частей они использовали Lean (как я поняла, программа-помощник для проверки и формального описания решений). Загружали туда отдельные части решения, проверяли их и двигались дальше. И вот на последнем этапе, когда они сводили все части решения в кучу и уже описывали финальное решение проблемы человеческим языком, OpenAI заявило, что это именно их агенты решили проблему окончательно (а скорее всего – сделали выводы с помощью доступа к материалам двух математиков в Lean, хоть OpenAI в этом и не признаются). Ужас, бедные математики, теперь чертов ИИ забирает не только рутинную работу, но и научные открытия. Мир никогда еще не менялся так быстро🥲 * * * Иногда я грущу, что юриспруденция – как бы ненастоящая наука (здесь нет объективности, нельзя доказать что-то раз и навсегда, чтобы все согласились, как в математике), но зато хоть у нас вот так нельзя 😈