Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2022-12-21 15:52:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Cocteau Twins | Lullabies
Entry tags:ai, math, nauka, smeshnoe

похоронит университеты и академию в целом
Прекрасное же
https://meta.mathoverflow.net/questions/5531/chatgpt-strikes-mathoverflow
Mathoverflow, если кто не знает, это юзер-модерируемый
проект исследовательского уровня с математическими
вопросами и ответами, довольно часто неописуемо полезный.
Я им постоянно пользуюсь, и всем советую, постоянно
ставлю в статьях ссылки на дискуссии оттуда, они
реально бывают уровня хороших публикаций.

Ну так вот, кто-то научился отвечать на вопросы из
mathoverflow чат-ботом chatGPT, до того успешно, что
некоторые ответы чат-бота приняты как верные юзерами.
90% юзеров чего угодно дебилы, ну а поскольку
это mathoverflow, 99% юзеров ко всему прочему
ужасные аутисты, и им часто свойственна
неуместная вежливость, даже к роботам.

Судя по сохранившимся ответам чатбота, пишет он
неописуемую бредятину, но многие воспринимают
за чистую монету.

Это вообще проблема около-математической жизни:
студенты, которые не в состоянии отличить доказательство
от недоказательства. Одно из самых страшных математических
заболеваний, если граждане воспринимают математический
текст как текст гуманитарной науки, а не как текст,
в котором в каждой фразе может содержаться вранье,
и читателю необходимо убедиться, что оно там не
содержится.

Мы много лет организовывали
ежегодную летнюю конференцию в Ярославле для студентов,
постепенно там сформировался специфический контингент
слушателей, и в какой-то момент я пришел к выводу,
что они воспринимают как математическую лекцию любую
последовательность умных слов, не вникая в их содержание,
и уж точно не пытаясь ничего отпарсить. Критерием
оценки была престижность научных терминов
(ну типа, мотивы +10, топосы +20, вот это все),
и клинически бредовые лекции про топосы воспринимались
слушателями (по большей части не знавшими вообще ничего,
даже совсем базовых вещей) с огромным энтузиазмом.

После этого я перестал туда ездить,
потому что чатбот справится с функцией чтения
лекций для подобной аудитории все равно лучше меня.

Но в принципе, в математике чатГПТ работать не умеет,
ибо бред отделяется от небреда очень просто, робот
не умеет не наляпать грубых ошибок, даже если владеет
хорошо владеет математическим языком. Это потому что
у уравнения правая часть должна быть равна левой,
а сосчитать их чатбот не в состоянии, потому что
чатГПТ это просто очень хорошо настроенный генератор
марковских цепочек, снабженный основами синтаксиса
и орфографии.

Но вообще в большинстве других наук,
борьба с выявлением чатботов окажется неразрешимой
проблемой, ну типа - если гражданин желает защитить
диссертацию по философии, ему даже писать ее не надо,
запусти генератор и привет. Отличить сгенерированный
текст от написанного руками уже сейчас невозможно,
нет никаких формальных критериев. То же с писанием
эссе, курсовых и те де. Это будет целая индустрия,
с миллиардными доходами, которая похоронит университеты
и академию в целом.

И слава богу, конечно, давно пора.

Вместе с Менгеле и Вестом поднимаются на Зов

Доктор Лектер, Мориарти и профессор Хомяков.
Ритуал проводят ночью - и в огне дрожит земля:
Третий Рейх встаёт воскресший из глубин Небытия!

В небо вырвалось Люфтваффе. За штурвалом - мертвецы,
Маршируют по Берлину штурмовые храбрецы.
Фау-3 взлетает в воздух и приносит смерть жидам,
Отдаёт их на съеденье термоядерным грибам!

Из могил Мясного Бора поднимается отряд,
Мертвецы в истлевшей форме дружно выстроились в ряд,
И вселяет в души быдла первобытный тёмный Страх
Заржавевший МР-40 в крепких высохших руках.

Весь украшен черепами, Хомяков горланит речь:
``Мы во славу Бога Крови упырей отправим в печь!
Подыхай, больная Рашка, сгинь навеки, Третий Рим!
Мы теперь с тобой на равных, сучья тварь, поговорим!''

Зову Хаоса внимает мертвецов воскресших рать,
И грохочут сотни глоток: БИТЬ! ДАВИТЬ! УНИЧТОЖАТЬ!
И истлевшие солдаты маршируют на Москву -
Цитадель совковой мрази погружается во Тьму!

Убивать! Давить и резать! Потрошить и пожирать!
Разрывать крюками туши, вешать, вешать и сжигать!
Восстаёт могучий Хаос, жарит пламя до небес,
И кремлёвских оккупантов убивает адский бес!

Тащит за ноги чекиста злой смеющийся скелет:
``Доктор Лектер хочет скушать коммуниста на обед!
Все расстрелянные вами из могил поднялись вновь!
Утолить их жажду мести сможет только ваша кровь!!!''

Мы идём родной науке придавать нормальный вид -
И на дереве повешен мерзкий доктор Айболит.
Не хрен было негритосов в чёрной Африке лечить,
Всех слюнявых гуманистов будем вешать и топить!

Привет



(Читать комментарии) - (Добавить комментарий)


[info]intfxdx
2022-12-21 22:11 (ссылка)
А каковы перспективы компьютерного создания и доказательства теорем с помощью ИИ? Вроде заметное число человек над этим работает. Kevin Buzzard создает формализованную библиотеку всего накопленного математического знания, можно ведь будет потом попытаться обучить на этом массиве нейросеть как на генерацию, так и на доказательство заданной теоремы.

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2022-12-21 22:21 (ссылка)

я про него ничего не знаю,
но на mathjobrumors.com после любого
упоминания Баззарда юзеры ритуально посылают его нахуй
собственно, я только в этом качестве о нем и слышал,
типа "гафурка значит нахуй"

видимо, очень известный математик

>формализованную библиотеку всего накопленного
>математического знания,

это очень полезно, конечно,
вот например stacks project
https://stacks.math.columbia.edu/
написано хуже некуда, но многие учебники
такие же плохие, а так полезно, и при желании
вбивается в любой формальный фреймворк

в принципе, из этого формального фреймворка (когда он будет)
можно много полезного впоследствии вытащить, типа проверочных
механизмов, а то когда люди кидаются говном насчет "это доказательство
верное", "это доказательство неверное", пусть будет какой-то способ
решения ситуации, кроме спасительной эвтаназии всех участников

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-12-22 09:09 (ссылка)
Ну вот Шольце говном не кидается, и то хлеб

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-12-22 09:57 (ссылка)
Правда, Шольце этот секс только разочек попробовал, не слышал пока от него можем повторить

Возможно ждёт когда оно станет более конгруэнтным и менее многословным

(Ответить) (Уровень выше)


(Читать комментарии) -