xajik: Люди также не всегда четко и просто формулируют свои доказательства. И ИИ уже выполняют работу формализации доказательств людей, делая их более ясными и простыми, нередко укорачивая сложные пути- оптимизируя-. Также ИИ переводит статью или доказательство в формальный математический язык- своеобразную унифицированную базу, из которой куда проще делать поиск и начинать доказательство и поиски далее...
то есть даже на уровне ассистента он может взять львиную долю рутиной работы на себя, оставив человеку - человеческое как-то так но это не точно вопрос куда глубже и дальше. Современное школьное и специальное образование не отвечает требованиям, с помощью ИИ можно изучать программу в 3-5 раз быстрее, уже не говоря о глубине и ранней специализации или даже большей универсальности. Новый вызов, нужны новые решения- и это хорошо, а не плохо !
Весьма здравые мысли на фоне страшилок Герберта Уэллса об оглуплении человечества. ИИ, безусловно, требует деликатного использования, но пользы от него может быть очень много в разных сферах.
«Во вторник вечером я заплакал, и это разбудило мою дочь», — признался математик Уго Дюминиль-Копен, лауреат Филдсовской премии 2022 года, во время видеоконференции, организованной Французским математическим обществом в четверг, 8 октября. Причина его слез? Американская компания OpenAI, занимающаяся искусственным интеллектом, опубликовала более 719 статей, разделенных на 372 категории, в которых, как утверждается, решаются многочисленные нерешенные математические задачи. Не менее 16 вопросов, которые интересовали французского исследователя, были среди них.
«Они уничтожили мою область исследований », — спокойно заявил он. Он показал слайд, созданный с помощью искусственного интеллекта, на котором был изображен кролик, раздавленный несколькими грузовиками.
Об этом он говорит не в Twitter. Хотя о своём разочаровании, конечно, мгновенно написал в Twitter.
Совершенно случайно обнаружил добротную статью на эту тему в октябрьском номере Науки и Жизнь. Там есть и ссылки на выступления многих уважаемых ученых ( в том числе и тех, что любезно представил ласкер) Вообщем, must read ( и переводить нет необходимости).
