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

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 в крепких высохших руках.

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

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

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

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

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

Привет




2-я страница из 2
<<[1] [2] >>

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


(Анонимно)
2022-12-24 19:46 (ссылка)
А как же, но сначала начнет с быдлокодеров.

СЛОВНО ХУЙ ДРОЧЕНЫЙ В ЖОПУ ПИДОРА
НЕЙРОСЕТКА НА ГИТХАБ ВОШЛА
НЕ ОСТАВИВ КНОПКОДАВАМ ВЫБОРА
БЕЗ МИТАПОВ КОДИТЬ НАЧАЛА

СКОРО ВЫ УЕБИЩА ОТВЕТИТЕ
ЗА РЕГРЕССИИ ЗА ВЫЖНЫЙ ГОВНОКОД
ЕСЛИ НЕ ИЗДОХНИТЕ ПОЕДИТЕ
ОБЖИМАТЬ ВИТУЮ ПАРУ В ЦОД

ВЫ МОЛИТЕСЬ СУКИ О ПРОЩЕНИИ
БОЛЬШЕ В ГУГЛ КОДИТЬ НЕ ВОЗЬМУТ
ПОПАДЕТЕ ВЫ ПОД СОКРАЩЕНИЕ
А НЕЙРОНКИ ВАШ СОБЕС ПРОЙДУТ

ВСТАНЬТЕ НА КОЛЕНИ СУКИ ЕБАНЫЕ
ХВАТИТ ССАНЫЙ БОЙЛЕРПЛЕЙТ ПИСАТЬ
ВАШИ ТАСКИ БУДУТ ЖЕСТКО ВЫЕБАНЫ
БОЛЬШЕ КОД НЕ НУЖНО НАБИРАТЬ

ВСЕ КРИЧАЛИ ЧТО МАКАК НЕ ВЫЕБУТ
А ТЕПЕРЬ ЖЕ ВСЕ НАОБОРОТ
ЕСТЬ У ВАС УЕБИЩ ПРАВО ВЫБОРА
ВСЕ ВАКАНСИИ БЕЗ ОПЫТА ЗА МРОТ

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


[info]sometimes
2022-12-26 19:43 (ссылка)
охуенно

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


[info]webhate
2022-12-31 21:52 (ссылка)

Когда то программисту, мужественно сражающимся с перфокарточным станком, или вдумчиво смотрящего сквозь дырки перфоленты, давали все пёздовласые бабы отраслевого НИИ. Рыцари новых технологий, они первыми бросались на раскалённые щиты ЕС ЭВМ дабы посчитать, в соответствии с госпланом, столбики архиважной государственной хуйни, для расчёта надоя зерновых и обмолота парнорогатого скота. Шутки шутками, а где тумблер включения у тогдашних ЭВМ знали только эти люди в белом, в белых халатах. Их уважали, любили, побаивались, и уж точно, по сравнению с барыгой из комиссионки эти люди были без сомнения супер-людьми будущего, где все летают на летающих тарелках, смотрят плоские настенные мониторы и живут при коммунизме. Времечко незаметно сменилось, перфокарточники оплешивили, а барыги с комиссионки стали бизнесменами, депутатами и даже министрами обороны. Началась новая эра, эра потребляцтва. Но перфокарты никто потреблять не хотел, а больше хотели бухать, мацать сиськи, мчатся на мерседесах и просирать откатное бабло. Место программеру в современной жизни не осталось. Поэтому вся анатомия нашего сегодняшнего героя обусловлена банальной невостребованностью его продукта и утилизационным характером работы - лишь бы под окнами не ныл.


О программистишках - Опорный пункт любителей рассеи — LiveJournal

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


[info]ivanmakovetskiy
2022-12-24 20:50 (ссылка)
Galois theory is a branch of mathematics that deals with the study of field extensions and their relationships to polynomial equations. Here are some possible contents for a Duolingo-like website dedicated to Galois theory:

Introduction to field extensions: This could include lessons on what field extensions are, how they are used to solve polynomial equations, and the concept of Galois groups.

Solving polynomial equations: Lessons in this section could cover techniques for solving polynomial equations, such as the quadratic formula, synthetic division, and the factor theorem.

Galois groups and field extensions: This section could delve into the concept of Galois groups and how they relate to field extensions. It could also cover the role of Galois groups in determining the solvability of polynomial equations.

Applications of Galois theory: This section could explore the various applications of Galois theory in areas such as cryptography, number theory, and algebraic geometry.

Practice exercises: Throughout the website, there could be a variety of practice exercises and quizzes to help users test their understanding of the material.

Additional resources: The website could also include links to additional resources, such as textbooks, lectures, and articles, for users who want to learn more about Galois theory.

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


[info]sometimes
2022-12-26 15:41 (ссылка)
such as the quadratic formula, synthetic division, and the factor theorem.

адок

набор слов, конечно, но намного разумнее, например, знаменитого философа из ЖЖ Иванов-Петров, с его когомологиями наружу

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


(Анонимно)
2022-12-28 19:18 (ссылка)
из последнего, что видел на архиве, кроме манин-дедикейтед хуйни про применение мотивов в кодировании,
\inf-топос переименовали в \inf-логос
хуйня естественно и есть, но зато смешнее

школу же сами и придумали проводить !
я там был ровно один раз, пиздец полный, все правда
ну зато путешествие

(Ответить)

Забули програмістів
[info]webhate
2022-12-30 20:07 (ссылка)
А як же програмісти? У програмістів окрім копіювання коду зі StackOverflow тепер є ще й Copilot і chatGPT на додачу. Програмістів це не відмінить, але вони деграднуть ще трохи від нинішнього рівня google програміста який без WWW мало що може до програміста з другим пілотом який без цього самого другого пілоту могтиме ще менше.

(Ответить)


[info]66george
2023-01-09 13:53 (ссылка)
Собираюсь писать вторую часть учебника, специально про топосы и интерпретацию логики в них. По первой части все русскоязычные математики учатся теории категорий. Примерный план
1) логика первого порядка
2) модели Крипке и их ближайшие обобщения
3) теория типов
4) модели Крипке для теории типов и их ближайшие обобщения
5) топосы общего вида (пара хороших контрпримеров, что не всё модели Крипке)
6) интерпретация логики в произвольных топосах (семантика Крипке-Жуаяля)
7) пучки и т.п., если допишу.
Крипке, кстати, только что умер. Еврейцы ведь не знают своих героев!

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


[info]kaledin
2023-01-09 19:38 (ссылка)
>По первой части все русскоязычные математики учатся теории категорий.

Really?

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


[info]tiphareth
2023-01-10 00:01 (ссылка)
Учебник, кстати, тут
https://raw.githubusercontent.com/George66/Textbook/master/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D0%B8%D0%BA%20%D0%B2%D0%B5%D1%80%D1%81%D0%B8%D1%8F%209.pdf
не знаю никого, кто бы его видел и об этом мне сообщил,
но ничего особо патологического при беглом просмотре я не обнаружил

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


[info]kaledin
2023-01-10 02:54 (ссылка)
Судя по оглавлению, полная и бессмысленная хуета (хуже Маклейна, что нелегко). Внутрь не смотрел впрочем.

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


[info]kaledin
2023-01-10 03:45 (ссылка)
Впрочем, там на первой же строчке предисловия обьясняется, почему: это "учебник, доступный матлогикам и функциональным программистам". Ну и океюшки; математика тут ни при чем, разумеется, и математикам это читать противопоказано, а так-то, вреда нет. Надо, наверное, и программистам что-то читать. Может меньше будут писать.

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



2-я страница из 2
<<[1] [2] >>