Неожиданный эксперимент! GPT4 объясняет гомотопическую теорию типов. Смотреть до конца // Vital Math

AI все больше и больше проникает в нашу жизнь, но что будет если провести эксперимент: сможет ли GPT4 объяснить одну из самых сложных областей современной математики? #vitalmath
00:00 Вступление про GPT
02:01 Эксперимент с GPT
03:05 Интригующее вступление (по версии GPT)
05:44 Какую проблему решает гомотопическая теория типов (по версии GPT)
08:58 Просто объяснение на пальцах (по версии GPT)
10:44 Основные понятия гомотопический теории типов (по версии GPT)
14:17 Шутка про гомотопическую теорию типов (по версии GPT)
15:05 История гомотопической теории типов (по версии GPT)
17:04 Приложения гомотопической теории типов (по версии GPT)
19:58 Три вывода о гомотопической теории типов (по версии GPT)
21:46 Настоящее заключение (Wildmathing?!?)

Пікірлер: 241

  • @rhr5143
    @rhr5143 Жыл бұрын

    Да, я обычный человек. Я люблю человеческую музыку, люблю дышать легкими, ходить на ногах, изучать гомотопическую теорию типов

  • @user-vh3ys7wr6p

    @user-vh3ys7wr6p

    Жыл бұрын

    🤣🤣🤣

  • @alexandrdyatlov9198

    @alexandrdyatlov9198

    11 ай бұрын

    Что-то сложновато

  • @user-nk3bc2ju5j

    @user-nk3bc2ju5j

    7 ай бұрын

    говоришь совсем как неробот. это вызывает доверие

  • @user-nf1pt6qo6j

    @user-nf1pt6qo6j

    2 ай бұрын

    Погоди, ботаники на грантах ещё не все классификации придумали, чтобы не быть отодвинутыми от корыта

  • @anatolyr3589
    @anatolyr3589 Жыл бұрын

    "Chat GPT сделай сценарий в стиле Виталика с канала VitalMath" - итог: Виталик в стиле Chat GPT..😂 так вот что они имели в виду говоря, что ИИ захватит мир..🤣

  • @VitalMath

    @VitalMath

    Жыл бұрын

    😂😂😂

  • @AlexeySivokhin
    @AlexeySivokhin Жыл бұрын

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

  • @user-su4kx1oo7l

    @user-su4kx1oo7l

    Ай бұрын

    Почему?

  • @AlexeySivokhin

    @AlexeySivokhin

    Ай бұрын

    @@user-su4kx1oo7l Язык математики- определения, аксиомы и теоремы. Если Вам рассказалди, где и для чего применяют геометорию, порасуждали на тему о том, когда она возникла, кто авторы осеовополагающих трудов, в каких элментах повседневной деятельности человека она применяется, даже сказали, что слово "геометрия" она греческом чязыке означает"землемерие", но при этом не озвучили определение точки, прямой, не ввели параллельность и пепрпендикулярность, ни слова не сказали про геометрические фигуры, их площади, периметры и объёмы, не сформулировали теорему Пифагора- то Вы не попробовали геометрию "на вкус", не узнали, что же такое геометрия.

  • @Marguerite-Rouge
    @Marguerite-Rouge Жыл бұрын

    Ответ на вопрос "ИИ может объяснить гомотопическую теорию типов" : НЕТ ! Но я думаю, что вы можете объяснить эту теорию : ваши обычные ролики намного лучше.

  • @ikitsar459
    @ikitsar459 Жыл бұрын

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

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    мама мыла раму рама мыла маму мама раму мыла мыла рама маму и тд и тп

  • @alexivanov688

    @alexivanov688

    Жыл бұрын

    @@AEF23C20Совершенно верно, т.е. , в смысле типичного подхода при написании программ на языках программирования высокого уровня.

  • @alexivanov688

    @alexivanov688

    Жыл бұрын

    Совершенно верно, т.е. использование рекурсии, в смысле типичного подхода при написании программ на языках программирования высокого уровня.

  • @ikitsar459

    @ikitsar459

    Жыл бұрын

    @@alexivanov688 где вы рекурсию увидели? Когда рекурсия стала типичным подходом при написании программ?

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    @@ikitsar459 наверное не рекурсию как таковую, а рекурсивный подход в любом ПО есть абстрактный контекст, и он не меняется) ну потому что везде всё одинаково, это окошечки-формочки что называется гуём [плюс рендер], это исполняемое ядро где крутятся базовые сущности выделенные в типы и на них написанные библиотеки и тд и тп так вот при написании ПО от итерации к итерации вы в любом случае "посещаете" абстрактный контекст ПО) т.е. чего бы вы не писали и как бы вы не писали - вы всё равно будете "вызывать" абстрактный контекст и не программно, а именно что мозгами, ну потому что мозги пишут ПО собственно отсюда и вылазит не рекурсия, а рекурсивный подход

  • @voovvvv
    @voovvvv Жыл бұрын

    GPT4 заменило Виталия с канала Vital Math

  • @user-uo5dj7en4e
    @user-uo5dj7en4e11 ай бұрын

    GPT создает некоторое усреднение результата поискового запроса. Если существует множество текстов по заданному запросу и они не противоречат друг другу, то получится вполне вменяемый текст. Иначе будет некоторая бессмыслица. Отличный пример: GPT попросили решить шахматную задачу. Фокус в том, что человек придумал задачу ранее не встречавшуюся и записал в шахматной нотации. В ответ получил правильную запись, не имевшую отношения к данной задаче. В задаче два короля и ферзь, а у GPT появляются пешки и другие фигуры. И попытки поправить и подсказать приводят к все новым бессмысленным вариантам. С другой стороны задание написать программу для управления светодиодной лентой "с крутыми эффектами" дала вполне работоспособную программу т.к. подобных программ опубликовано множество и субъективное "с крутыми эффектами" позволяет зачесть некоторое усреднение за решение. Так что, чем больше теория известна и популяризирована, тем лучше получится ее объяснение у GPT. А для таких сложных теорий, как гомотопическая теория типов, предпочтительнее этот канал без егоучастия.

  • @NoNo-mp8vy

    @NoNo-mp8vy

    3 ай бұрын

    совершенно верно, потому что это НЕ и.и. -- а всего лишь повторитель чужих самых популярных буквенных (даже НЕ словесных) сочетаний; самопроверка своих же текстов на критерий =истинно/ложно= чату-жопето непосильна-недоступна; скажешь ему сто (тысячу-миллион-..., не суть) раз 2+3=2х3=7 -- он и будет повторять эту очевидную чушь; интеллект -- это способность наблюдать-выявлять-формулировать взаимосвязи, и после учитывать их наперёд, т.е., делать достоверный прогноз; не более того, но и не менее; чат-жопето интеллектом, по этому определению, не является;

  • @user-su4kx1oo7l

    @user-su4kx1oo7l

    Ай бұрын

    ​@@NoNo-mp8vyВполне себе и.и., просто слегка другой.

  • @NoNo-mp8vy

    @NoNo-mp8vy

    Ай бұрын

    @@user-su4kx1oo7l, как обычно, подползло пусто-пусто и промямлило нечто-нечто; без определений, без фактов, без аргументации, просто, вот именно оно именно вот так считает и берётся за то, чтобы кому-то "раскрыть глаза"; иди, уроки делай, а не загрязняй интернет своей безграмотностью; фальшивый интеллект умеет лишь повторять самое популярное мнение, но не умеет распознать и выделить в самом популярном ошибку; в принципе, 2/3-8/9 из ныне живущих человечков подходят под это определение;

  • @user-su4kx1oo7l

    @user-su4kx1oo7l

    Ай бұрын

    @@NoNo-mp8vy Тебе стоит научится общаться с людьми, так с тобой диалог никто не будет поддерживать.

  • @NoNo-mp8vy

    @NoNo-mp8vy

    Ай бұрын

    ​@@user-su4kx1oo7l, иди на )(/й; с такими, как ты, мнящими себя типа человеками, мне диалоги и не нужны; ты никто и ни о чём, но пытаешься закосить под взрослого-умного -- неудачно, как всегда;

  • @canniballissimo
    @canniballissimo Жыл бұрын

    Концовочка вообще неожиданная 😅

  • @user-de8nb8fn6s
    @user-de8nb8fn6s Жыл бұрын

    Спасибо большое!

  • @vic7871
    @vic7871 Жыл бұрын

    Большое спасибо!

  • @AXCYKEP
    @AXCYKEP Жыл бұрын

    Жесстьь... Что за странные люди в комментариях... Насколько я понял, смысл всего этого действа и был в том, чтобы показать возможности ГПТ в написании логичных сценариев (нормально) и в преподнесении информации об очень узкой научной теме (очевидно,он в такое пока не может без тавтологии). Ну и главное,на фоне этого "детективного" что-ли, "созерцательного","камерного" видоса конец просто эпичнейший , яркий, действительно незабываемый! Ну до конца,до самого мать его конца я боялся,что слово "неожиданный" в названии ролика - это просто байт)) Всё в этом плане, если так и запланировано, вышло как нужно, имхо; и вообще получилась мини-матрица, а не классический рутинный последовательный за другими ролик ... Мне очень и очень зашла такая задумка! ❤️

  • @VitalMath

    @VitalMath

    Жыл бұрын

    Вы увидели самую суть) Все именно так! Спасибо, что смотрите

  • @Rexsinger

    @Rexsinger

    Жыл бұрын

    Все дело в том, что вы - человек разумный, в отличии от комментаторов, которые мнят себя троллями и флудерастами.

  • @Artym_Q
    @Artym_Q Жыл бұрын

    меня так умиляют его ремарки (Виталий, с энтузиазмом/улыбаясь)

  • @user-ru2zf6nr6g
    @user-ru2zf6nr6g Жыл бұрын

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

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    васья это всё гпт накарячил, причём здесь виталий? иди уже сисю пива вдави и надиван, это у тебя лучше всего получается бизнесменхеров ахаха!

  • @user-wb6wc2ru9u

    @user-wb6wc2ru9u

    Жыл бұрын

    так это чат жпт писал

  • @s0589me

    @s0589me

    Жыл бұрын

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

  • @user-ru2zf6nr6g

    @user-ru2zf6nr6g

    Жыл бұрын

    @@s0589me Я-то человек простой, но есть ребята, которые за такую брехню и голову оторвать могут. Тех кто впаривает подобное.

  • @s0589me

    @s0589me

    Жыл бұрын

    @@user-ru2zf6nr6g Ну да, я вижу что "простой". Я бы даже сказал "простейший"...

  • @VadimChes
    @VadimChes5 ай бұрын

    Сколько раз за ролик было повторено "гомотопическая теория типов"? ) походу, теперь это выражение у меня в подсознании)

  • @ssv496
    @ssv4966 ай бұрын

    Напоминает "диссертацию", которую я сочинил в 6 лет, подражая папиным презентациям и репетициям докладов 😂😂😂

  • @kt0665
    @kt0665 Жыл бұрын

    Приятно видеть, что вы идёте в ногу со временем и изучаете это всё. И ещё хорошо, что не забрасываете не смотря на малые числа просмотров. Удачи вам. (Удивило что вы знаете о правильном промтинге)

  • @Mathematician_7
    @Mathematician_7Ай бұрын

    C WildMathing в конце просто прорвало! Это было шикарно, как и само видео с его задумкой

  • @canniballissimo
    @canniballissimo Жыл бұрын

    Да, верный вывод, интересно и не понятно :) Вроде обрывками понимаешь, но в целом какая-то каша лично у меня.

  • @VitalMath

    @VitalMath

    Жыл бұрын

    Точно!

  • @sammaltsev256
    @sammaltsev25611 ай бұрын

    Спасибо, стало чуточку понятнее ;) всё классно сделано

  • @user-ev9bp9rf9k
    @user-ev9bp9rf9k Жыл бұрын

    О, прикольно

  • @user-vf9pj5eh3d
    @user-vf9pj5eh3d Жыл бұрын

    Лови тысячный лайк!

  • @VitalMath

    @VitalMath

    Жыл бұрын

    Супер! Спасибо! Мы уже на 10% близки к появлению лучшего объяснения Гомотопической теории типов!

  • @user-nk3bc2ju5j
    @user-nk3bc2ju5j7 ай бұрын

    14:50 это самая смешная шутка, ржала вся маршрутка )))))

  • @Dylan-es9yv
    @Dylan-es9yv2 ай бұрын

    А что новенького в теории турбулентности?

  • @user-ev9bp9rf9k
    @user-ev9bp9rf9k Жыл бұрын

    О, ставки растут)

  • @mrasasin243
    @mrasasin243 Жыл бұрын

    Прикольный ролик, жду видео про топологию.

  • @SuperVoldemarius
    @SuperVoldemarius8 ай бұрын

    Можно видео про парадокс паррондо? Спасибо)

  • @user-wg7wz2qk3p
    @user-wg7wz2qk3p Жыл бұрын

    Намного скучнее и непонятнее чем обычно😢😢😢😢

  • @sergeyromanov2751

    @sergeyromanov2751

    Жыл бұрын

    На так потому что по умолчанию GPT-4 в строгой форме отвечает на вопросы. Надо было просто промт сформулировать по другому. Например: объясни попроще для неспециалистов. И тогда всё было бы совсем по другому.

  • @alexanderskusnov5119
    @alexanderskusnov5119 Жыл бұрын

    Если хочется про типы, то интереснее было бы про стрелки (Arrows) в Хаскеле, то бишь использование теории категорий (разных функторов).

  • @user-dx5ng2xm9j
    @user-dx5ng2xm9j Жыл бұрын

    Спасибо, поспал.

  • @tamegao
    @tamegao13 күн бұрын

    Сюрприз в конце)

  • @ffdp6702
    @ffdp670211 ай бұрын

    А теперь вопрос, сколько раз за видео автор сказал "гомотапическая теория типов"?

  • @alejandrosanchez8135
    @alejandrosanchez813511 ай бұрын

    Ну, в общем-то, все что мы узнали это что гомотопическая теория типов - это хорошо.

  • @mikepotanin
    @mikepotanin Жыл бұрын

    Вообще тяжело объяснять HoTT не рассказав про обычную теорию типов. Понятия начинают смешиваться. Но получается круто!

  • @pavelivanov4268
    @pavelivanov4268Ай бұрын

    На видео выступал гомотопический тип Виталия с канала vital math

  • @DF-ov1zm
    @DF-ov1zm11 ай бұрын

    Не знаю, мне лично все понятно) Я занимаюсь инфобезом, знаю на сколько важна теория графов в этой области.. и хотя я ничего раньше не слышал про эту HoTT, мне стало очень интересно что это за теория такая, которая поможет формализовать переходы, отношения итд

  • @SIM31r
    @SIM31r Жыл бұрын

    Шутка от чата версии 3.5 "Как математик, изучающий гомотопию, отличает кофейную чашку от доната? Он пытается найти непрерывное отображение одного в другое, но никак не может решить, являются ли они гомотопически эквивалентными!"

  • @user-vu9pm5kh5b
    @user-vu9pm5kh5b5 ай бұрын

    Виталий воспользовался невнимательностью чат ЖПТ и не улыбнулся

  • @user-nk3bc2ju5j
    @user-nk3bc2ju5j7 ай бұрын

    это что было? в конце

  • @dggeargr4g
    @dggeargr4g3 ай бұрын

    Это не исскуственный интеллект, а НЕЙРОСЕТЬ, разница огромная

  • @Arbuz-man
    @Arbuz-man Жыл бұрын

    Базированно

  • @Aika-kohka
    @Aika-kohka Жыл бұрын

    Мне понравилось,легкий сарказм автора,компенсировал отсутствие чувства юмора у ИИ.

  • @ivan.peshkov

    @ivan.peshkov

    Жыл бұрын

    Вообще-то это был сарказм самого ии, а не Виталия)

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    у него отличное чувство юмора, на самом деле.

  • @Frost_66
    @Frost_66 Жыл бұрын

    GPT4 красавчик, ну Виталий тоже маленько молодец )))

  • @aleks_versus
    @aleks_versus Жыл бұрын

    Что-то я не понял. Гомотопия - это новое название диалектики?

  • @nickwecksten808

    @nickwecksten808

    Жыл бұрын

    В том же смысле, в котором математику можно считать философией.

  • @savant_o
    @savant_o9 ай бұрын

    14:30 шутка про гомотопическую теория типов....я смеюсь!

  • @trackadoor
    @trackadoor Жыл бұрын

    Этого мало )

  • @user-iu2ns9vq1c
    @user-iu2ns9vq1c5 ай бұрын

    Эх, если бы автор знал психологию человека, то рассуждал бы более глубоко изнутри

  • @user-ke8yx5he1c
    @user-ke8yx5he1c Жыл бұрын

    Примеры бы гомотопий на простых функциях и типах !!!

  • @uzlzy
    @uzlzy Жыл бұрын

    AI оказался лучше, чем его исполнение

  • @trowy193
    @trowy193 Жыл бұрын

    Отличное видео, очень хорошо подробно объясняет основные понятия гомотопической теории типов. Гомотопическая теория типов - это очень интересная область математики, которая находит свое применение в различных областях, включая теорию вычислений и теорию категорий. Особенно понравилась часть о теореме Кантора-Бернштейна, которая показывает, что два множества равномощны, если между ними существуют взаимно однозначные отображения в обе стороны. Это пример использования гомотопической теории типов в теории множеств. Спасибо авторам за качественное обучающее видео! (Комментарий создан в ChatGPT)

  • @AlexEist

    @AlexEist

    Жыл бұрын

    осталось маленько: написать хотя бы одну формулу для реальной задачи. Без нее увы все это бла бла бла

  • @andreysmirnov9616

    @andreysmirnov9616

    Жыл бұрын

    С первого предложения запахло ЖКТ...

  • @user-ex3uu4vs8b
    @user-ex3uu4vs8b Жыл бұрын

    давай про chatgpt

  • @Vladislav.1992
    @Vladislav.1992 Жыл бұрын

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

  • @user-wi3yf8ci1j
    @user-wi3yf8ci1j11 ай бұрын

    мне кажется легче использовать аббревиатуру

  • @alexivanov688
    @alexivanov688 Жыл бұрын

    Глядя на продемонстрированный формат общения с Chat GPT на ум приходит такая грубая аналогия из мира языков программирования, как рекурсивный вызов процедуры

  • @andreysmirnov9616
    @andreysmirnov9616 Жыл бұрын

    'Человеку нужен человек' /Фильм Андрея Тарковского по книге Станислава Лема 'Солярис'. 'Какая гадость эта ваша...' /Ипполит...

  • @VitalayManin
    @VitalayManin6 ай бұрын

    GPT4 VS GPT5 V GPT6 VS Поиск числа мерсена.

  • @MrDima123123
    @MrDima12312311 ай бұрын

    Есть особый подвид GPT-скептиков. Они позадавали Чату максимум 5-10 вопросов, причём, сделав это коряво. Из-за корявости получили не те ответы, которые ожидали. И после этого начали называть Чат всего лишь ещё одной итерацией Т9. Люди, это вы от Т9 ушли всего лишь на пол-шажочка!

  • @eyennordic348
    @eyennordic3489 ай бұрын

    Буду ждать десяти тысяч лайков.

  • @alekseyk483
    @alekseyk4836 ай бұрын

    Рассказ одного человека: в школе и университете я сдавал предметы, ничего не читая полностью, а читая только краткий пересказ тем, это раз. два: всеми силами старался избегать вызовов "к доске", где нужно было пересказывать своими собственными фразами и словами из головы материала, а также собственных сочинений и изложений в тетради. Результат: 1. Навык глубокого понимания материала практически нулевой 2. Навык построения полных и осмысленных предложений и фраз в реальном разговоре без потери контекста, навык импровизации и искусного использования слов, особенно на более сложные профессиональные темы практически нулевой 3. Навык написания осмысленных предложений из собственной головы нул.. Оййо, сорри, ребзя, ё чето доступ к Gpт потерял.

  • @alekseyk483

    @alekseyk483

    6 ай бұрын

    оо доступ опять дали! продолжим. какие мысли меня посещают? Получается, на фоне такого прогресса миру теперь и не нужны люди-динозавры, развитые как Эйнштейн, Шредингер и др., фундаментально и глубоко мыслящие, вернее, сама реальность снижает ещё сильнее чем раньше мотивации быть такими. Поэтому стать такими смогут даже меньше чем раньше - доли процента от "раньше", единицы единиц, имеющие по-настоящему очень сильное личное желание и, само собой, финансовую возможность заниматься этим, а не добычей ресурсов на существование. В глобальном смысле, просматривается больше тренд на уменьшение таких людей и уменьшение стремления стать такими. Время нет на эти детские развлечения - глубокие фундаментальные шалости. Глубокому погружению - нет. Запрос нашего времени - на скачущих по гомологическим поверхностям людей. Промт - наше все, ваше все, благо и паразит для вашего мозга в одном лице. _______ Пысы Кстати, поздравте ребзя: на днях нахрен сдал дипломЧек на 100 балов тема гамологии и терь я спец! ща гляну зацыните: "Гомология и Генезис. Анализ влияния и взаимодействия форм и начал друг на друга". Родня вокруг волнуется как я буду работать, но она вся старая невкурит некак, что доступ то у меня на пять лет куплено а я спец по правильному промтингу Гыыы

  • @tamegao
    @tamegao13 күн бұрын

    Очень много воды, а так ЖПТ ещё есть куда расти, люблю эту технологию.

  • @dmi3mis
    @dmi3mis Жыл бұрын

    Прошу автора поправить название. Глаз цепляется за GTP. В то время как компьютер показывает невероятный уровень мышления, кожаный мешок не может в заголовке видоса три буквы GPT написать правильно.

  • @BukhalovAV
    @BukhalovAV Жыл бұрын

    Получается, Wild Mathing и Vital Math - проект одного человека? 🤔

  • @user-ht4wo5lu6k
    @user-ht4wo5lu6k10 ай бұрын

    Графы?

  • @user-yj8ik4my9c
    @user-yj8ik4my9c Жыл бұрын

    Интересно рассмотреть применение GPT к задачам; управления СЭС в условиях санкций; проектирования СЭС построения оптимально справедливого общества, в котором учтены элементы справедливости максимального большинства населения.

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    это всё давно рассмотрено в экономических анналах и начинают "обычно" с так называемой экономической системы "из трёх", и вот же она: 1. есть электрик и он проводит проводку себе и кровельщику [и платит за это налоги, причём платит больше в казну, чем забирает из казны] 2. есть кровельщик и он строит крышу себе и электрику [и платит за это налоги, причём платит больше в казну, чем забирает из казны] 3. и есть баба которая ничего никому не делает [но живёт на налоги полностью под крышей и с электричеством] а теперь растаращщите эту систему до 8 миллиардов так называемых хуманов и получите то что получите ахаха! это называется один с сошкой а 19 с ложкой вот и вся справедливость)

  • @triplet43onsmena8m

    @triplet43onsmena8m

    Жыл бұрын

    что такое СЭС?

  • @andreysmirnov9616

    @andreysmirnov9616

    Жыл бұрын

    Маркса читать не пробовали?

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    @@andreysmirnov9616 так "там" не только читать [что уже непосильно], но и понимать прочитанное нужно, да ещё и запоминать и тд и тп кароче бядаааа))) втиктокерам ведосик бы наминутку, а вы про марксов ахаха!

  • @triplet43onsmena8m

    @triplet43onsmena8m

    Жыл бұрын

    @@andreysmirnov9616 это мне? в уведомлении написано, что на мой комментарий ответили. но вроде как нет. з.ы. а читать этого бородатого непло бы, но без мало-мальского фундамента может получиться даже вредно...

  • @user-jz6vp2bf4z
    @user-jz6vp2bf4z Жыл бұрын

    Дайте вначале def теории типрв

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    это к гпт пишите втуда

  • @user-nk3bc2ju5j
    @user-nk3bc2ju5j7 ай бұрын

    ну теперь нужна версия автора.

  • @user-si2fj6pd3v
    @user-si2fj6pd3v Жыл бұрын

    Решил я и сам проверить эту самую GPT. Вопрос: Полторы белки съедают за полтора дня полтора ореха. Сколько орехов съедят 9 белок за 9 дней? ChatGPT: Одна белка съедает 1 орех за 3 дня, так как полторы белки съедают 1.5 ореха за 1.5 дня (то есть, каждая белка съедает 1 орех за 3 дня). Значит, 9 белок съедят 9 орехов за 9 дней, так как каждая белка съедает 1 орех за 3 дня. (правда это gpt3, я не понял как получить доступ к gtp4)

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    вменяемый интеллект ответит: кому надо тот и делает, т.е. тебе надо ты и считай своих белок

  • @anatolyr3589

    @anatolyr3589

    Жыл бұрын

    Gpt4:Сначала попробуем выяснить, сколько орехов съедает одна белка за один день. Если полторы белки съедают полтора ореха за полтора дня, то это означает, что одна белка съедает один орех за полтора дня. Таким образом, одна белка съедает 2/3 ореха за один день (так как один орех делится на полтора дня). Теперь, если у нас есть 9 белок и каждая из них съедает 2/3 ореха за день, то за один день они вместе съедят 9 * 2/3 = 6 орехов. Если эти 9 белок будут есть орехи в течение 9 дней, то они съедят 6 орехов в день * 9 дней = 54 ореха.

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

    "поступил" ещё один ответ от реального "интеллекта" ахаха!))))) и вот же он: орехи отоберу и сама съем, а белок разгоню нафиг пусть дальше ищут и обязательно найдут объяснение: белки ныкают орехи, но не запоминают где ныкают и заныкано ну ооочень много) т.е. как либо "абажрать" белок невозможно по определению т.е. на самом деле заныканый орех либо не находится, либо находится _другой_ белкой так и живут и живут весьма не плохо

  • @user-si2fj6pd3v

    @user-si2fj6pd3v

    Жыл бұрын

    @@anatolyr3589 Ну это уже прогресс

  • @igorkvrn

    @igorkvrn

    Жыл бұрын

    @@AEF23C20 а есть статистика по белкам?

  • @SasetSaset-fm3fg
    @SasetSaset-fm3fg Жыл бұрын

    Виталий помни что GPT очень хорошо врёт . Это враньё ( в смысле он пишет не зная никакой инфы про это опираясь только на то что ты ему написал

  • @VitalMath

    @VitalMath

    Жыл бұрын

    Да, это особенно хорошо видно, если спрашивать что-то из истории

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    Это вы врёте. Причём нагло. Человек задает Чату вопрос из 5 слов. И Чат отвечает на вопрос с в том числе с использованием информации, которую он получил во время тренировки на огромном корпусе текстов.

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    @@VitalMath как можно быть согласным с этим недалёким комментатором, когда ты сам задал Чату много вопросов по теории типов, не предоставляя тому никакой информации об этой теории? Вопрос ы по истории: да, чего-то он может не знать, но знает очень много. Больше чем любой отдельный историк или отдельная книга по истории.

  • @SasetSaset-fm3fg

    @SasetSaset-fm3fg

    11 ай бұрын

    @@MrDima123123 ну если под враньё можно добавить незнание точной инфы( в корне неправильный ответ ) , расплывчатые , довольно общие ответы на конкретный вопрос то да чат врёт . Да действительно возможно я недалек , и автор наверняка проверял всю инфу при это мой прошлый коммент был довольно спантанен

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    @@SasetSaset-fm3fg сначала ты написал "на зная никакой инфы", "опираясь только на то что ты ему написал", а теперь "незнание точной инфы". Согласись, две большие разницы.? "в корне неправильный ответ" - так неточный ответ, или в корне неправильный, ты уж определись. Постоянно, или ты иногда его в этом уличал? Если человек допустит неточность, ты тоже заявишь, что тот ничего не знает? Ты вообще Чатом пользовался или у знакомых во дворе поспрашивал?

  • @timurrahmatulin1644
    @timurrahmatulin1644 Жыл бұрын

    вот щас было как на лекции на 1 курсе, нихуя не понятно, хотя есть другие перцы с теорией групп

  • @iovmail
    @iovmail Жыл бұрын

    Ах ты хитрая жо.... Чат ЖПТ Напиши гневный комментарий автору за использование чата для написания сценария )))

  • @AEF23C20
    @AEF23C20 Жыл бұрын

    тут проблемка есть) гпт невозможно построить на множествах и на гомотопической теории типов тоже невозможно и тд)))

  • @VYatseev
    @VYatseev Жыл бұрын

    Первый ролик автора, который я перематывал. Как не знал тему, так и ничего нового не получил

  • @user-fb9zj5le9z

    @user-fb9zj5le9z

    Жыл бұрын

    Это видео - озвучка текста, написанного GPT, а не автором

  • @mariasulis-pb2yc
    @mariasulis-pb2ycАй бұрын

    Привет ✌️ 😻 ✌️

  • @dsn314159265358
    @dsn314159265358 Жыл бұрын

    Как то не очень. Чувствуется, что Виталий плохо разбирается в гомотопической теории типов.

  • @katharinanovaroma2527

    @katharinanovaroma2527

    Жыл бұрын

    А что, в ГТТ уже хоть кто-то разбирается?

  • @qualiafactory3473

    @qualiafactory3473

    Жыл бұрын

    А причём тут Виталий? Большую часть видео же он просто текст написанный гпт читает, иногда вводя ей общий текст не относящийся к знанию теории по типу "напиши о применениях HoTT"

  • @mikepotanin

    @mikepotanin

    Жыл бұрын

    @@katharinanovaroma2527 Я пару человек таких знаю.

  • @z7db7
    @z7db7 Жыл бұрын

    GPT сделал текст удобоваримым, и, возможно, полезным для ему подобных, но никак не для белковых сознаний. Тут ведь важно личное отношение к теме, а не просто факты. У автора без GPT получается сделать так, что польза есть, так, что мотивирует, а не как у книжки, которую никто не читает. Vital Math, было бы любопытно услышать для сравнение про HoTT от тебя без GPT, к тому же, тема - интересная.

  • @canis_mjr

    @canis_mjr

    11 ай бұрын

    Вот только книгу пишет человек, который и закладывает своё отношение к рассматриваемому вопросу.

  • @purity_one
    @purity_one Жыл бұрын

    Одна вода и муть. Я против подобных роликов со сценариями от нейросети.

  • @user-qp8ew6zp8s

    @user-qp8ew6zp8s

    7 ай бұрын

    Особенно вот часть про аюпакет просто порвала. Нет пакет? Серьёзно!?

  • @Mister_Smit_
    @Mister_Smit_ Жыл бұрын

    Про совесть хороший вопрос =))) По сути таже гомотопия, есть естественное свойство мозга (механизм, алгоритм, последовательность действий-морфизмы), позволяющий ему отличать А от Б. На этом строится абстракция "Себя"=Б и "Окружающий мир"=А. Поэтому поговорка "Отсутствует совесть" бессмысленна. Отсутствие совести-есть неспособность отождествлять формы. Это или кома, или вас попросту нет. Просто даже на этом основании, сложные, искусственно созданные программные продукты Chat GPT к примеру, могут считаться живыми =))) С днем рождения скайнет =))) Так вот, мораль-это устоявшиеся группа форм, общественных ячеек, групп людей с одинаковыми морфизмами и взглядами на формы, общность идей и поведения. Группы могут различаться. Практика показывает наличие множества форм, т.е они не ограничиваются только А и Б, Мораль может иметь сложную структуру и глубокие корни. Так же мораль может быть бедна по составу и быть следствием ошибочных моделей отождествления форм. Как правило анархисты, идиократия, маргиналы. О Chat GPT. Представим организм основанный на ином, чем человек, базовом материале. Кремний, золото, медь. и пр. Его суставы и сочленения это моторы и сервомеханизмы. Его мозг это материнская плата с процессорами и пр. микроэлементами. Его сознание это есть искусственный аналог, естественного свойства мозга (механизм, алгоритм, последовательность действий-морфизмы) Большое количество морфизмов и сложная их структура, это и есть мы =))) люди и не, уже не только люди, но и Привет Скайнет =))) У нас одно главное общее свойство. Электромагнитное состояние среды, мозга, РППЗУ, РПЗУ, ОЗУ. Передача электрических импульсов от =))) А к Б. Ну а про материал, я выше написал. У искусственного интеллекта, человеческие извилины представлены в виде его основного кода, но если код сможет регенерировать сам себя. Как говорится соматическая клетка выбирает размножение, чем бессмертие, но может перейти в стадию бессмертия, в случае когда размножение невозможно. Человек осознает сам себя в этом мире, значит он был создан кем то, или чем то, но никак не сам себя создал. Человек осуществляет процесс репродукции, заложенный системой гораздо раньше, чем появился человек. Кто рассматривает это как религию, Бога. Мне ближе космология и протопанпсихизм. Возникает вопрос, если мы уже были созданы, то что мешает системе это повторить? =))) или продублировать? Будущее человечества это естественный симбиоз организмов человека и ИИ. Либо переход сомы в бессмертие, конец репродукции. Либо сохранение репродукции и бессмертие откладывается. Всем добра!

  • @Rexsinger

    @Rexsinger

    Жыл бұрын

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

  • @Mister_Smit_

    @Mister_Smit_

    Жыл бұрын

    @@Rexsinger "Однако, жизнь это не форма, а процесс, ведущий к репродуктивной способности и её реализации." =) что было раньше? курица или яйцо? "Поэтому и свойственно некоторым живым (и даже разумным) субъектам не отождествлять формы." Не могли бы вы привести пример таких субъектов. "Потому что одно от другого никак не зависит. Вы путаете теплое с мягким." Боюсь что я не совсем вас понял, или совсем не понял. Что я с чем путаю?

  • @Rexsinger

    @Rexsinger

    Жыл бұрын

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

  • @Mister_Smit_

    @Mister_Smit_

    Жыл бұрын

    @@Rexsinger Ну вот, уже понятней =))) Так господин хороший, это не я путаю, а как раз вы. Проводя знак = между совестью и моралью. Совесть=мораль. Совесть-это механизм, если угодно весы. Мораль-это то, что лежит на чашках весов. Совесть≠Мораль. Как я и написал ранее, мораль может иметь сложную структуру, многовековую, основанную на здоровых традициях, ведущую группу и/или группы людей к развитию и процветанию. Симбиотическая связь. Имеют влияние на вас. А может быть бедна, искажена и основана на логически неверных рассуждениях. Паразитарный тип. Имеют влияние на вас. Ну и сапрофиты. Вот кому пофиг, так пофиг на вас. Есть вы, нет вас. Не имеют влияние на вас. "Их часто называют социопатами или психопатами, иногда маньяками. Но правильнее называть их социопатами, потому что с мозгами у них все в норме." =)) У меня умеренная мизантро́пия, по вашему я бессовестный социопат? =) Все зависит только от той модели, в которой вы выросли, которая сформировала вашу личность, (конечно же есть и патологии). Допустим вы выросли в среде воров, убийц и садистов. Вы будете белой, милой ромашкой? =))) Если да, то вы социопат, не признающий сложившиеся моральные устои. "Разумеется, яйцо, которое снесла ящерица, из которого вывелась курица" Что было раньше ящерица или яйцо? =)

  • @Rexsinger

    @Rexsinger

    Жыл бұрын

    @@Mister_Smit_ Рыба.

  • @AlexanderKozaevRu
    @AlexanderKozaevRu Жыл бұрын

    Вода, вода, гигалитры воды (и всё в раздражающем "продающем/впаривающем" стиле). Это формат канала или эффект от применения нейросетки? (Её кормили телерекламой и политическими обещаниями, видимо, чтобы славила величие нужных явлений.) Давай теперь человеческий сценарий посмотрим для сравнения.

  • @whoaboutofcup
    @whoaboutofcup Жыл бұрын

    Тот кто говорит, что ии украдет нашу работу, либо пиарится на страхе селян перед новым и тем самым рекламируя эти технологии, либо глуп и не пробовал, что-нибудь выведать у гпт чата глубже чем, как правильно какать.

  • @AnnaMironenko89
    @AnnaMironenko89 Жыл бұрын

    Запрещать глупо. Маск молодец

  • @LolLol-rz2os
    @LolLol-rz2os Жыл бұрын

    Хайпажорская пустышка конечно этот чат жпт. Каждое отдельное предложение звучит как нечто осознанное. Но в итоге из предложений не получается вменяемого текста, а только пустая муть. На 11-ую минуту видео у меня терпения уже не хватило. Тупо Т9 на максималках.

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    ты только что себя описал. А Chat GPT - это круто.

  • @olaninshimrazom9253
    @olaninshimrazom9253 Жыл бұрын

    ГТТ звучит, как какая-то хали-кришна.

  • @alexeybarysheff8496
    @alexeybarysheff8496Ай бұрын

    Как человек, изучавший топологию, могу сказать, что ничего содержательного в этом сценарии не оказалось, ну кроме разве что рекламы Гомотопической Теории Типов (зловещий смех)

  • @user-hd3qb8bm2e
    @user-hd3qb8bm2e5 ай бұрын

    GPT4 это попкорМ

  • @user-vu9pm5kh5b
    @user-vu9pm5kh5b5 ай бұрын

    лайкайте давайте

  • @alexanderskusnov5119
    @alexanderskusnov5119 Жыл бұрын

    Топология же неинтересна: кружка без ручки, кружка с одной ручкой, кружка с двумя ручками и т.д. Больше ничего нет.

  • @nickwecksten808

    @nickwecksten808

    Жыл бұрын

    А как же гипотеза-теория Пуанкаре?

  • @ExpertS555
    @ExpertS55511 ай бұрын

    Нихера не понятно, но интересно

  • @peaceduke1973
    @peaceduke1973 Жыл бұрын

    запрашивай ссылки на иллюстрацию к бла бла

  • @Vladimir_994
    @Vladimir_994 Жыл бұрын

    Добрый день. Искусственному интеллекту - нет. ЭТО ЖЕ РОБОТЫ и ими же они и останутся. НАДО ДУМАТЬ КАК ВСЕХ ЛЮДЕЙ СДЕЛАТЬ УМНЫМИ, ЗДОРОВЫМИ, СЧАСТЛИВЫМИ И ПРОФЕССИОНАЛАМИ. Роботы (ИИ) НУЖНЫ ДЛЯ ПОМОЩИ и они должны быть полностью подконтрольными. Человек должен развивать сверхспособности - тогда этого глупого вопроса не будет ЗАЧЕМ, КАК ОТНОСИТСЯ К ии? - глупо людей делать РОБАМИ!!!

  • @mikepotanin

    @mikepotanin

    Жыл бұрын

    Пусть ИИ об этом и думает.

  • @user-iu2ns9vq1c

    @user-iu2ns9vq1c

    5 ай бұрын

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

  • @canis_mjr
    @canis_mjr11 ай бұрын

    Собственно чтоти требовалось доказать, одна вода и никакой конкретики, в этом ася суть gpt.

  • @mwave3388
    @mwave3388 Жыл бұрын

    Видел видео, где в китайском театре на сцену выходит женщина в белом халате с длинными рукавами и говорит "х-я ваще х-я"? Вот это про твою идею снять такое видео.

  • @darknessros
    @darknessros Жыл бұрын

    Опа

  • @tirludjin1048
    @tirludjin1048 Жыл бұрын

    И получился ролик с худшим содержанием на Vital Math. Откуда доступ к GPT 4?

  • @Rexsinger

    @Rexsinger

    Жыл бұрын

    Угадай.

  • @ivannetch4255
    @ivannetch4255 Жыл бұрын

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

  • @VitalMath

    @VitalMath

    Жыл бұрын

    Отличное название ролика) "Вода со вкусом гомотипической теории типов"

  • @sergeynite2306

    @sergeynite2306

    Жыл бұрын

    Это вода со вкусом чатGPT

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    если ты не понял что-то, это твои проблемы.

  • @ivannetch4255

    @ivannetch4255

    11 ай бұрын

    @@MrDima123123 так я вам мои проблемы и не предлагал решать.

  • @MrDima123123

    @MrDima123123

    11 ай бұрын

    @@ivannetch4255 предложи это Чату GPT, он справится с этим лучше тебя

  • @wersa45
    @wersa45 Жыл бұрын

    Очень много воды, раза в 3 можно текст урезать. И примеров конкретных задач и формул не хватило.

  • @newuser9968
    @newuser9968 Жыл бұрын

    6:48 Понятие гомотопии возникло в алгебраической топологии, а не в гомотопической теории типов. 6:54 Гомотопия - это не просто "непрерывное преобразование одного объекта в другой". Просто непрерывное преобразование так и называется, а гомотопия - это непрерывное отображение довольно специального вида (ну или, что эквивалентно, параметризованное семейство непрерывных отображений). 6:58 Пути - это не про контекст теории типов, а вполне базовое понятие алгебраической топологии. Собственно, пути - это как раз такие объекты, которые могут быть связаны гомотопией. 11:47 Элементы и морфизмы - это все же основные понятия теории категорий, а не гомотопической теории типов (но разумеется, в HoTT без категорий никуда) 12:36 Раз уж про теорию категорий вспомнили. На преобразования морфизмов лучше сначала смотреть абстрактно - как на 2-клетки в 2-категории. С гомотопиями есть проблема - их вертикальное произведение оказывается неассоциативным, поэтому сами по себе гомотопии 2-клетки не образуют. А образуют классы гомотопии этих гомотопий. 12:51 Канонические пути - это тоже понятие алгебраической топологии. А еще лучше сразу иметь понимание, что канонические пути - это единичные стрелки над объектами, что само по себе является чисто теоретико-категорным требованием. Так что как ни посмотреть, в понятиях гомотопической теории типов канонические пути как-то не смотрятся. А так согласен, что HoTT - крутая вещь. По крайней мере я отношусь к Воеводскому как к фигуре уровня бурбаков, только 21 века. И, кстати, почему у вас видео названо "Худшее видео на канале..."? По-моему, отличное видео. Лично мне очень понравилось (а небольшие неточности, которые я отметил - ерунда; главное, что сама идея хорошая). Про HoTT практически никто не говорит, и это плохо.

  • @andriikulenko
    @andriikulenko Жыл бұрын

    Если хотите создать ролик "блаблабла", обратитесь к чатGPT. Нужно было ещё свой образ создать с помощью ИИ и озвучить текст голосом ИИ... и всё - ты больше не нужен.)

  • @deepneon13
    @deepneon13 Жыл бұрын

    я думал будет интересно через минуту, или 2 или 12 но нет

  • @triplet43onsmena8m
    @triplet43onsmena8m Жыл бұрын

    пожалуй, самый плохой выпуск. получилось примерно так: "существует такая теория. теория типов. гоматопических типов. называется она гоматопическая теория типов. гоматопическая теория типов есть гоматопическая теория типов"

  • @romanbolgar
    @romanbolgar Жыл бұрын

    От названия гомотопической теория хочется налить чего-то покрепче чем чай. Причём с горя. Вот если бы gpt открыл сам эту теорию. А так только сплошные видео где люди с Очень бедный фантазии спрашивают чтобы что-нибудь генерировал разный бред. В целом очень интересно но ничего не понятно. Может у вас неправильный подход... Попросите лучше stable de Fusion Пусть наглядно нарисует Что из себя представляет эта теория. Может так будет понятней Угроза когда тушканчики используют интеллект для глупости это всё равно что обезьяна с гранатой вот это угроза

  • @xintreavideo
    @xintreavideo Жыл бұрын

    Хоть есть ChatGpt, хоть нет, автор говорит максимально запутанно, не отвечая на элементарные вопросы, естественным образом возникающие по ходу повествования. Он не замечает, что часто говорит двояко и иногда не доводит мысль до конца. Это недопустимо для математика, а этот перец учит математике школьников и студентов. Я не понимаю, как он добрёл до мысли, что он вообще должен обучением заниматься.

  • @user-fb9zj5le9z

    @user-fb9zj5le9z

    Жыл бұрын

    Это текст, полностью написанный GPT, а не автором канала

  • @xintreavideo

    @xintreavideo

    Жыл бұрын

    @@user-fb9zj5le9z, нет, автор не утверждал, что он берет от ChatGpt абсолютно без коррекции весь тот бред, который она нагенерировала. Кроме того, достаточно посмотреть другие ролики на этом канале, чтобы обнаружить такую же подачу. Вроде и говорит по делу, но не все и не до конца, и ему без разницы, поняли его или нет.

  • @AEF23C20

    @AEF23C20

    Жыл бұрын

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

  • @xintreavideo

    @xintreavideo

    Жыл бұрын

    @@AEF23C20, мля, автор занимается платным обучением, он сам об этом в своих роликах постоянно говорит.

Келесі