Истории (не)успеха (ИИ)ЕИ
417 subscribers
158 photos
88 videos
2 files
228 links
Просто о математике, нейросетях, программировании, спорте, политике, культуре. Общение, контакты, международные онлайн дискуссии/лекции в формате лайвстрим, встречи на спорт в Мюнхене.
Download Telegram
Методологическая ошибка предыдущей версии стала понятна когда я шаг за шагом начал разбирать семнатические сходства между предложениями:

https://colab.research.google.com/drive/1mW_3PO1yTPYBCZcWqYMBSIRci_3t6hOu?usp=sharing

Естественно, если я усредняю схожесть по всем предложениям, то я получу примерно одинаковую характеристику по всем пяти факторам. Идеи что делать? :)
Абстрактная математика и литература 📚

То, что мы сейчас пытаемся провернуть с героями Штефана Цвейга, имеет самую непосредственную связь с одной из самых абстрактных областей математики — теорией категорий, которую понимают единицы. И я не в их числе 😅.

Но я пригласил Дмитрия, который является специалистом в чистой, а не прикладной математике, и попрошу его прокомментировать то, чем я тут начал заниматься, с точки зрения абстрактной математики и теории категорий 🔢. Я ему уже намекал посмотреть, но он пока отшутился, мол, это слишком сложно для его ума 😄.
Прежде всего не переживать, можно сделать комменты)))
А потом скромность украшает, если нет других достоинств 😁
👍1😁1
Задача по математике.
Просили? Есть у меня одна такая.

Возьмём движение точки на конечности у двух людей и получится две траектории в трехмерном пространстве. После чего фотографируем эти траектории под произвольными углами и получим два семейства линий на плоскости.
Вопрос: если мы произвольно возьмём две линии, сможем ли мы идентифицировать, относятся ли они к одному семейству или к двум разным?

Попробую сформулировать более (псевдо)научно: как доказать сходство или различие двух траекторий в 3-х мерном пространстве по их проекции на плоскость, которые сделаны под произвольными углом?
1
Media is too big
VIEW IN TELEGRAM
Возращаясь к задаче от @RealOsteo 👆👆👆

@RealOsteo делает классный софт для анализа биомеханики человека и показал в своём канале как софт по видео находит за что зацепиться для компьютерного анализа и оценки движений спортсменов 👇👇👇

https://t.iss.one/biokibernetika


Что мне, как практику в данном случае, интересно: мой ученик в данном видео в нескольких моментах нанося удары еле заметно для непрофессионального взгляда теряет баланс/равновесие... И хот я сам в таких сравнительно простых упражнениях не теряю баланс, но мне надо как-то направить ученика - чтобы и он не терял баланс, какой-то элементарный геометрический/кинетический анализ тут можно приспособить, чтобы подсказать человеку, что именно он делает не совсе правильно. То ли слишком задней ногой толкается, то-ли слишком разворачивает плечевой корпус...Что-то в таком духе. Вот это могла бы видеть машина. И вот тут уже интересные тонкости начинаются! 🍒

#Sport #Boxing #AI
👍3
Интересная задачка от Гузель для тех, кто любит математику, логику и немного теории вероятностей:
Переведу на русский:

Господин Мейер находится в тюрьме. У господина Мейера есть 2 евро. Охранник предлагает ему пари: бросается монета.

Если выпадает решка, Мейер теряет 1 евро.
Если выпадает орел, он выигрывает 1 евро.
Если у него не останется денег, он останется в тюрьме навсегда.
Если же он наберет 5 евро (т.е. выиграет еще 3 евро), его отпускают на свободу.

Вопрос: Какова вероятность того, что господин Мейер выйдет на свободу? 🪙

🤔 Сможете решить задачу? Подсказка: это классический пример случайного блуждания (random walk). Но сможете ли вы справиться без углубленных знаний о стохастических процессах руководствуясь лишь интуицией 🧠, логикой 📐 или, в конце-концов, просто комбинаторикой 🔢? :)

Делитесь своими мыслями в комментариях! ✍️😊
👍3
В области философии математики ученые, философы и квантовые физики выдвигают и обсуждают теории о "реальности" чисел и логических систем, используемых в математике. Мнения варьируются от "вселенная – это чистая математика" до "математика – это внутренне согласованная логическая конструкция, не имеющая отношения к реальному миру". Многое в дискуссии зависит от исторического развития математической мысли и научного понимания, но более глубокое изучение вопроса может поставить под сомнение наши предположения не только о природе чисел, но и о сущности самой вселенной.

Доктор Пенелопа Мэдди, почетный профессор логики и философии науки и математики в Калифорнийском университете в Ирвине, известна своими работами о математическом реализме. Это идея о том, что математика существует независимо от человеческого познания, и мы ее открыли, а не изобрели. В наши дни она считает, что находится где-то посередине между крайними точками зрения.

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

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

Однако развитие прикладных дифференциальных уравнений, основанных на "сглаживании" сложного и хаотичного атомного микромира, поставило эту идею под сомнение.

В своей книге "Защита аксиом" Мэдди описывает эволюцию взглядов на математику: от платоновского представления о вечных формах до отождествления математики и естественных наук как единой дисциплины, затем к признанию их возможного расхождения и, наконец, к эмпиризму 20 века, применяющему научный метод к математическим вопросам.

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

Проблема в том, что мы пока не понимаем, почему она так хорошо работает и какие явления ответственны за ее успех.
Большинство современных математиков в той или иной степени являются платонистами, веря в "реальность" изучаемых ими концепций. Альтернативой является формализм, фокусирующийся на аксиомах и правилах вывода, не требующих связи с физическим миром.

Макс Тегмарк предложил экстремальную версию математического реализма – "гипотезу математической вселенной", согласно которой реальный мир состоит из математических структур. Однако эта идея вызывает споры и критику.

Раймонд Таллис указывает на проблему "математизации реальности", утверждая, что при описании объектов чисто математическими терминами теряются их существенные качества. Он предупреждает, что такой подход может привести к ситуации, когда "вы не можете отличить вселенную от ничего".

Несмотря на ограничения человеческого познания, мы можем стремиться к более ясному пониманию мира. Как отмечает Мэдди, иногда мы способны преодолеть базовые когнитивные структуры, как это сделал Эйнштейн, показав относительность времени и пространства.

В заключение, как говорит британский математик Маркус дю Саутой: "Математический мир – не скучное место. Это необычное место, где стоит провести время". Независимо от того, реальное это место или воображае
👏1
Играем по-серьёзному: как Serious Games меняют подход к обучению

Идея геймификации образования восходит ещё к эпохе Ренессанса, однако совершенно новым подходом стали серьёзные игры. Их основная цель— решение конкретных задач из реальной жизни, а также обучение или развитие навыков, а не развлечение или веселье. Рассказываем об особенностях такого подхода к образованию и его эффективности.

Что за серьезные игры?

Внешне Serious Games напоминают классические: с соревновательностью, аналогичным игровым процессом и интерфейсом. Но при этом в них вшиты образовательные цели, которые как бы скрыты от пользователя. Кроме того, серьёзные игры отличаются научной обоснованностью: рецензируемый научный журнал The International Journal of Serious Games ежеквартально выпускает статьи, посвящённые теоретическим, экспериментальным и прикладным аспектам разработки, внедрения и оценки таких игр.

Серьёзные игры во многом эффективны потому, что их механика, нарратив и дизайн включают в себя конкретные задачи — обучать, вдохновлять и приводить к образовательным результатам. Кроме того, они позволяют моделировать ситуации, которые в реальной жизни требуют значительных ресурсов или времени.

Duolingo

Один из самых известных примеров таких игр — Duolingo. Чтобы мотивировать пользователей учить языки, приложение использует игровые механики: дерево навыков, очки опыта и виртуальную валюту.

Foldit

Foldit — игра-головоломка, которая предсказывает структуру белков. Это одна из самых сложных задач в биологии. Созданная Центром игровых наук и кафедрой биохимии Университета Вашингтона, игра привлекла внимание широкой публики благодаря своей инновационной концепции: исследователи анализируют полученные игроками лучшие решения и применяют их для изучения болезней, разработки новых лекарств и биологических технологий.

Evolution of Trust

Ещё один пример — The Evolution of Trust, созданная педагогом и гейм-дизайнером Ники Кейзом. Эта игра объясняет, как возникают и разрушаются доверительные отношения, а также почему это важно для общества и как мы можем «изменить правила игры» для улучшения взаимодействий. The Evolution of Trust моделирует простую ситуацию: два игрока принимают решения в рамках вариации дилеммы заключённого. Весь процесс прохождения занимает около 30 минут, что идеально подходит для образовательных целей или кратких тренингов.

Ещё больше примеров серьезных игр  в сферах экономики, менеджмента, культуры, политики и даже генетики, найдете в полной версии статьи. Из нее же можно узнать больше о преимуществах и недостатках этого метода обучения.

Время чтения: 17 минут

🤖 «Системный Блокъ» @sysblok
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Быть Или
This media is not supported in your browser
VIEW IN TELEGRAM
👏Словацкий студент, бронзовый призёр олимпиады по математике Симон Оманик отказался подавать руку пророссийскому президенту Петеру Пеллегрини во время вручения награды. На церемонию Симон пришёл с украинской ленточкой.

Математик рассказал о своём поступке:

"С президентом Пеллегрини у меня личная и политическая проблема, так как, по моему мнению, он пришёл во дворец путём мошенничества и лжи.

Вдобавок к вечнозелёным популистическим обещаниям о дешёвых продуктах и газе, которые повторяются на каждых выборах при каждой популистической политической личности, он обвинил своего соперника в том, что тот пошлёт нас на войну в Украину, которая нас не касается.

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


Симон Оманик прав. Парадокс в том, что при пророссийском правительстве у словаков куда больше шансов отправиться на войну, ведь если Украина падёт, не получив необходимую помощь, воевать с Россией придётся уже им.

Хотя... У Орбана же официально заявили, что в Венгрии никто с Россией бы не воевал и они просто бы сдались. Может быть Фицо и Пеллегрини точно так же сдали бы страну.

Сюжет: Denník N
🔮 Психоистория в реальности: как нейросети могут превратить «Основание» в нашу жизнь 🤖

В одном из величайших научно-фантастических произведений всех времён, «Основание» Айзека Азимова, концепция психоистории становится ключом к спасению человечества. Эта теоретическая наука объединяет математику и психологию, позволяя предсказать поведение миллиардов людей и направлять ход истории. Но что если эта фантастика не так далека от реальности, как мы привыкли думать? 😏

В романе Азимова психоистория — это математическая теория, позволяющая предсказать будущее, анализируя действия миллиардов людей. Хари Селдон, создатель этой науки, понимает, что Вселенная движется к хаосу, и с помощью психоистории разрабатывает план для минимизации упадка и ускоренного возрождения цивилизации. 🌍

А как насчет сегодняшних технологий? С развитием ИИ и нейросетей мы на пороге того, чтобы превратить психоисторию из фантастики в реальность! 🧠

Математика и психология объединяются в современных нейросетях: алгоритмы обрабатывают огромные массивы данных, а психология помогает интерпретировать человеческие эмоции. Мечтаете предсказать поведение людей, как Хари Селдон? Уже почти реально! 📊

Пример из реальной жизни: нейросети могут анализировать личность, используя психологические модели, такие как Big Five, и прогнозировать реакции человека в стрессовых ситуациях. 😱 Например, анализируем текст человека в стрессе — и получаем точное предсказание его эмоций и действий. Психоистория, держись! 😎

Так что психоистория — это не только для книг. Она уже активно проникает в нашу реальность.

А мы, между прочим, продолжаем работать с нейросетями, психологией (да, бывает, она меня бесит, но как говорится: «Мышки кололись и плакали, но продолжали жрать кактус») и литературой (привет, Стефан Цвейг и другие классные писатели!). Оставайтесь на связи, впереди будет интересно. Всем привет!
Кстати, для жителей Мюнхена представляется уникальный шанс в январе сойтись на одной площадке со звездами науки и спорта. Площадка, в этот раз баскетбольная, но играть против или за вас будут:

1) Доктор физматнаук и мастер спорта по боксу Дмытро

2) Лучшие бэкеры из Циглер Бэкерай

Мы планируем сюрприз - там будут скорее всего «величайшие» немецкие политики и им будет задан вопрос - почему у нас все так плохо?! Может потому что они в кольцо попасть не могут?
🏀 ВНИМАНИЕ, БАСКЕТБОЛЬНЫЕ ФАНАТЫ! 🏀

Самая крутая игра только что начавшегося года приближается! 🔥
📅 Ориентировочные даты: выходные 1-2 февраля
📍 Место: Сименспарк, Мюнхен

Требования к участникам:
👉 Никаких, кроме желания побегать и посмеяться! 😄
👉 Форма одежды — любая, хоть пижама, главное, чтобы вам было удобно!
👉 Умения играть в баскетбол? Забудьте об этом! Главное — настроение и желание повеселиться! 🎉

💬 Если вы из Мюнхена и хотите прийти:

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

⚠️ Дисклеймер: Всё ещё обсуждается, но если кто-то очень хочет, а эти даты совсем не подходят — не стесняйтесь, пишите! Мы найдём другие дни, чтобы все желающие смогли присоединиться! 💪😊

Давайте сделаем это событие незабываемым вместе! 🏀🔥
📲 Жду ваших комментариев! 👇
Научпоп: как превращают сложное в простое (и чем я страдаю на выходных)


Провожу уже какие свои выходные, пытаясь перевести теории вычислений и работы языковых моделей с уровня “для специалистов” на уровень “понятно и интересно всем”. Добро пожаловать в мой личный мир научпопа! 😅

Научпоп — это искусство балансировать ⚖️. С одной стороны, ты хочешь, чтобы твой текст могли понять все: от школьника до инженера, от гуманитария до математика. С другой стороны, ты не хочешь упростить настолько, чтобы потерялась суть или возникли неверные представления. И вот где настоящая сложность: как говорить просто, но не примитивно?

Чем я страдаю сейчас

На данный момент я готовлю две статьи. Это проекты, которые забрали всё моё свободное время (и немного сна 😴), но при этом жутко увлекательны.

1. Теория вычислимости и сложности вычислений

Это, по сути, попытка объяснить, как мы можем понять, что вообще способен решить компьютер, а что — нет. Например, почему есть задачи, которые теоретически можно решить, но на это уйдут миллионы лет . Или почему, даже если у вас самый мощный суперкомпьютер 💻, некоторые проблемы остаются “неподъёмными”. На пальцах: представьте, что вы ищете иголку в стоге сена, но ваш “стог” — размером с галактику. 🌌

Этой темы еще не было в этом чате, но на самом деле это тема моего PhD и я тут разбираюсь )


2. Крэш-курс по большим языковым моделям

Вторая статья — это то, где я абсолютно не разбираюсь, но я учусь - это путешествие от основ статистики до современных языковых моделей, вроде ChatGPT. Как из “простых” слов получилось создать систему, которая понимает контекст, отвечает на вопросы и пишет статьи? ✍️ Я разберу всё: от теории вероятностей, которая помогает предсказывать слово за словом, до глубоких нейронных сетей 🤖 и того, как они вообще учатся. И да, будет код, с которым можно будет поиграться. Потому что одно дело — читать, а другое — увидеть, как это работает “под капотом”.

Почему это сложно

Моими читателями могут быть как люди, которые далеки от программирования и математики, так и те, кто в этих областях “зарыт” по самую макушку. Первым надо объяснить основы, но так, чтобы они не заскучали 🥱. Вторым — показать нюансы, не перегружая формулами 📊.

А ещё есть ловушка: слишком просто — и будет похоже на сказку. Слишком сложно — потеряется магия научпопа . Поэтому каждое предложение в этих статьях — это баланс, а каждый абзац проверяется и переписывается по нескольку раз 🔄.

Что дальше

Научпоп для меня — это способ делиться своими знаниями и раздвигать границы 🧠. Если хотя бы один человек, далекий от науки, поймёт, как устроены вычисления или языковые модели, я буду считать, что всё это не зря.

Ну а пока мои выходные проходят с кучей заметок 📓, табличек 📋 и кода 💾. Пожелайте мне удачи! 🍀 А если у вас есть идеи, про что ещё можно написать в таком формате, обязательно делитесь в комментариях. Кто знает, может, ваш вопрос станет темой следующей статьи? 😊
Истории (не)успеха (ИИ)ЕИ pinned «Выбор романа и героев, чтобы оттолкнутся от темы, навеян этой публикацией: Теория терпения. Как импульсивность героев Стефана Цвейга связана с экономикой.»
🧠 Пара мыслей о теориях личности, социологии, данных и больших языковых моделях

Начал копать вот здесь, здесь, здесь и здесь, сделал первые шаги (работа ещё далеко не закончена 😅) и столкнулся с психологическим барьером. Проблема в том, что во мне борятся 🧑‍🏫 математик и 🖥️ информатик. Психолог и социолог внутри меня давно сдались, а теперь математик и информатик сражаются за то, как подойти к темам лингвистики, психологии и социологии в контексте машинного обучения и анализа данных.

Как говорят немцы, "стою на шланге", который сам пытаюсь направить на грядки.

Вот пример: есть нейросети, натренированные на огромных корпусах текстов. Они "читали" почти всё, что написали люди, выявили связи между словами, предложениями, текстами и контекстами. За этим стоит очень элегантная математика, но также много эмпирики и случайных параметров.

Например, одна модель сносно определяет личностные характеристики Антона Гофмиллера из романа Стефана Цвейга "Нетерпение сердца" через эмбеддинги, как я это показал вот здесь. Потом я прикрутил к модели классификатор для анализа личности по Большой пятёрке. Планирую скоро рассказать о том, как модифицировать модели типа BERT под свои задачи, но пока не об этом...

🔍 Эмбеддинги — это представления слов, предложений, текстов и контекстов в пространствах высокой размерности (в данном случае размерность пространства — 768). В итоге почти всё, что было написано людьми за всю историю, "упаковывается" в связи в этом 768-мерном пространстве, а потом проецируется обратно в 5-мерное пространство теории Большой пятёрки с помощью вот такого вот кода.

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

Что я пока понял:
1️⃣ Тут слишком много эмпирики и случайных параметров.
2️⃣ Не хватает общей теории: лингвопсихологической — с одной стороны, математической — с другой.

И про последнее в 2️⃣ скажу так: я х**ею, товарищи, с конвергентности метода градиентного спуска при обучении больших языковых моделей. Я думал, у меня кривые руки, а оказалось — не совсем 😅.

Продолжение следует.
🔥2