Когда человек с IQ 220 говорит, что будущее за симбиозом ИИ и человека, а не за их соперничеством - стоит задуматься. Возможно, главный прорыв в математике произойдёт не благодаря мощи искусственного интеллекта, а благодаря нашей способности правильно его использовать?
Нам просто нет смысла давать ИИ свободу, а контролировать его мы научимся. Нейросети специально натренированные вполне смогут контролировать оперативку AGI, очищая её от плохих мыслей.
Ты же рофлишь сейчас? Никто из людей даже понять не сможет интеллект, у которого будет 400 или 500 IQ. Даже следить за мыслью не получится, не то что использовать ))
@@SibLondon так это потому что объемы данных ограничены) когда мы киберимплантами обновим мозг то сможем обрабатывать такое колво данных что и 1000 айкью сможем понять
### Анализ видео #### 1. Введение и знакомство с профессором Теренсом Тао - **Описание**: В начале видео представлен профессор Теренс Тао, известный математик, который участвовал в Олимпиаде по математике в очень юном возрасте. - **Содержание**: - Теренс Тао участвовал в Олимпиаде по математике в 11 лет и получил медаль. - В 13 лет он стал самым молодым участником, получившим золотую медаль. - Он больше не участвовал в Олимпиадах, а продолжил карьеру в Калифорнийском университете в Лос-Анджелесе. - Теренс Тао считается одной из самых ярких звезд олимпиады по математике и одним из самых влиятельных математиков нашего времени. #### 2. Машинная помощь в математике - **Описание**: Обсуждение роли машинной помощи в математике, включая использование компьютеров для решения задач и исследований. - **Содержание**: - Упоминается лекция от Deep Mind о продукте Alpha Geometry, который может отвечать на вопросы по геометрии из олимпиады по математике. - Обсуждается, как инструменты машинной помощи начинают менять исследовательскую математику. - Отмечается, что исследовательская математика отличается от соревновательной, так как задачи решаются не за три часа, а за месяцы. - Подчеркивается преемственность использования компьютеров и машин для решения математических задач. #### 3. История использования компьютеров в математике - **Описание**: Обзор истории использования компьютеров для выполнения математических расчетов и решения задач. - **Содержание**: - Упоминаются ранние машины, такие как абакус, и более современные компьютеры. - Обсуждается, как компьютеры использовались во время Второй мировой войны для вычислений баллистики. - Упоминаются логарифмические таблицы Непера и их использование в математических исследованиях. - Подчеркивается, что компьютеры использовались даже раньше, чем это принято считать. #### 4. Использование таблиц и баз данных в математике - **Описание**: Обсуждение использования таблиц и баз данных в математических исследованиях и их роли в открытии новых результатов. - **Содержание**: - Упоминается Онлайн энциклопедия целочисленных последовательностей и ее использование в математических исследованиях. - Обсуждается, как таблицы помогли открыть теорему о простых числах и гипотезу Бернарда. - Подчеркивается, что таблицы и базы данных продолжают играть важную роль в математических исследованиях. #### 5. Научные вычисления и моделирование - **Описание**: Обсуждение использования научных вычислений и моделирования в математике, включая решение сложных задач и уравнений. - **Содержание**: - Упоминается использование компьютеров для моделирования уравнений жидкости при строительстве дамбы Арис. - Обсуждается, как компьютеры используются для решения линейных уравнений, уравнений в частных производных и комбинаторных вычислений. - Подчеркивается, что многие геометрические задачи могут быть решены с помощью научных вычислений. #### 6. Решатели логических головоломок и проблемы пифагоровых троек - **Описание**: Обсуждение использования решателей логических головоломок и решения проблемы пифагоровых троек с помощью компьютеров. - **Содержание**: - Упоминаются решатели логических головоломок, которые могут решать задачи с тысячами утверждений. - Обсуждается решение проблемы пифагоровых троек, которая была решена с помощью компьютера. - Подчеркивается, что некоторые задачи могут быть решены только с помощью компьютеров. #### 7. Формализация математических доказательств - **Описание**: Обсуждение процесса формализации математических доказательств и использования формальных помощников по доказательствам. - **Содержание**: - Упоминается доказательство теоремы о четырех цветах и гипотезы Кеплера о упаковке сфер. - Обсуждается, как формализация доказательств помогает убедиться в их правильности. - Подчеркивается, что формализация доказательств становится все более важной в математических исследованиях. #### 8. Использование машинного обучения и больших языковых моделей в математике - **Описание**: Обсуждение использования машинного обучения и больших языковых моделей для решения математических задач и генерации гипотез. - **Содержание**: - Упоминается использование нейронных сетей для поиска решений к частным дифференциальным уравнениям. - Обсуждается, как машинное обучение может помочь обнаружить новые связи в математике. - Подчеркивается, что большие языковые модели, такие как GPT-4, могут генерировать возможные подходы к задачам. ### Выводы 1. **Теренс Тао**: Видео начинается с представления известного математика Теренса Тао, который участвовал в Олимпиаде по математике в юном возрасте и стал одним из самых влиятельных математиков нашего времени. 2. **Машинная помощь**: Роль компьютеров и машинной помощи в математике становится все более важной, особенно в исследовательской математике, где задачи решаются не за три часа, а за месяцы. 3. **Формализация доказательств**: Процесс формализации математических доказательств помогает убедиться в их правильности и становится все более важным в математических исследованиях. 4. **Машинное обучение**: Использование машинного обучения и больших языковых моделей открывает новые возможности для решения математических задач и генерации гипотез. 5. **Решатели логических головоломок**: Решатели логических головоломок и компьютеры помогают решать сложные задачи, которые невозможно решить без посторонней помощи.
спасибо за труд...наткнулся вот , но лучше посмотрю в оригинале, все таки ИИ до сих пор лажает и галлюцинирует, куча ошибок, на слайде одно, говорит другое. т.е. кто в теме хоть чуть чуть, слышит все эти огрехи и странности
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты) Вот ссылка на программу - можете сами попробовать clck.ru/3Dy9oJ Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Вот вот. Ну научатся быстрее формализовать доказательства, на что это повлияет? Профессоры тратят кучу времени, а чем это поможет в понимании всей картины не понятно.
@@OO-OO-00-88 был бы он гением то в конце всей это розказни каждой темы говорил для каких конкретно вещей это будет полезно. а потом жалуются что никто в науку идти не хочет. скучные учёные делают науку не популярной и уменьшают количество учёных. выглядят как дураки которые решают задачи ради самих задач а не чтобы чего-то достичь с этими задачами новые технологии или чего-то такого.
@@Data-Noise так тогда можем мы сказать что они ничем от философов не отличаются? их идеи почти никогда не выходят в реальный мир ибо их теории бесконечно разрабатываются и даже после законченной работы с теорией ещё предстоит долгое время искать её применение а потом и ещё время на то чтобы создать на их основе что либо в реальности. может это и норма для математиков но с целью популяризации науки им либо говорить практические вещи либо не выкладывать эти презентации и оставлять закрытыми для ограниченной публики таких же пустодельников.
Доказательства теорем теперь занимают террабайты данных. Что это значит для человеческого общества? Что проверить это невозможно, десятки лет сидеть и изучать и проверять доказательство никто не будет. Либо слепо доверять ИИ, а это означает передача власти машине. Либо признать недействительным такие доказательства. Но неужели это единственный путь в математике?
Какая на власть какой на машине, власть это воля, воля это желание а желание это жажда жрать, с чего вы решили что в один момент Сама слепая алчная жизнь вдруг подчинит себя машине, если и найдутся такие одарённые аутисты так они и исчезнут вместе со своей машиной.
@@DreamerDoor Вы переоцениваете способность интеллекта, одного из члеников жизни, непосредственно влиять на жизнь. Жизнь стирает интеллект как грязь с лица при любом серьёзном стрессе
Почитайте про конструктивную математику и формальную верификацию. Стандартный подход к математике это формулировать теоремы и доказательства на языке теории множества, но существует и другой подход, большую часть математики можно переформулировать на языке теории типов. Наиболее популярными системами являются Coq и Lean, основанные на исчисление конструкций. Грубо говоря ты можешь написать компьютерную программу которая строго эквивалентна математической теореме, система автоматической верификации запускает эту программу и если она успешно завершается значит доказательство правильное. Причём всё крайне строго и математически обосновано, ошибки быть не может, эта система точно скажет правильное ли доказательство или нет, человек может допустить ошибку, машина нет. Бума таких систем особо не было потому что они могут лишь проверять правильность доказательства, они не могут их генерировать, но сейчас с развитием нейросетей открывается возможность. Нейросеть генерирует доказательства и формальна система проверяет его правильность.
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты) В описании всегда есть ссылка на оригинальный ролик. Вот ссылка на программу - можете сами попробовать clck.ru/3Dy9oJ Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
@ ни грамма критики в том что я написал нет, это мое восприятие информации которую данный выдающийся ученный пытался донести до масс. Теория без практики мертва а практика без теории слепа. Развитие ИИ и его практическое применение уже далеко впереди всех этих постулатов озвученных в видео
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты) В описании всегда есть ссылка на оригинальный ролик. Вот ссылка на программу - можете сами попробовать clck.ru/3Dy9oJ Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Про IQ вообще лишняя информация. Говорить про то, что Теренс один из сильнейших математиков мира и привязывать его мышление к обычным тестам глупо. Это как Магнуса Карлсена оценивать по игре в тетрис. Ну, пережиток прошлого, не нужно этого популизма для хлебушков.
Сейчас забылось значение слова "тао", но в Средние века оно на китайском означало: мудрейший из мудрейших, т.е. абсолютный мудрец, равный сыну бога на земле.
@darcos-i6s дао и тао имело одинаковый смысл в средневековом китайском языке до упадка даосизма, на смену которому пришёл буддизм в середине 13-го века.
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты) В описании всегда есть ссылка на оригинальный ролик. Вот ссылка на программу - можете сами попробовать clck.ru/3Dy9oJ Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Господь отец из квант струны, непрерывно ткал цветы, для ткани мира, и мать Вселенная в бутоне лепестков, квант музыкой ноты подбирала и миром музыки из квантов наблюдая, ищет дитя *Творца сорванца* что сорвёт «цветочек аленький» и разорвутся струны квантов на мембраны, свернуться как лепестки цветов в саду весеннем и Вселенная заново перезапуститься и повторяеться под копирку: Господь из лучшего эфира соткал живые струны *Творца и сорванца* и они были созданы не для мира и мир был создан не для них и сгинем вместе с ним и Мы, для нового совершенного мира! Или, же есть предел информации у Вселенной и лопнет она от лжи копируемой, что грузим Мы искусно в интеллект через искусственный интеллект.
@chelol208 не спешите, если можешь думать. То пожалуйста. Школьные технологии могут позволить увидеть, нечто иное если: Соберём учебно/практические пособия «Майкельсон Морли ГИБРИДНЫЙ гироскоп с переключения в «лазерную рулетку; опорным сигналом *+опорное расстояние* в 1000000 м., с обратным зеркалом». (мы, не ищем эфир, Мы *увидим* как работает квантовая гравитация) Обращаюсь к Вам с предложением на совместное изобретения ГИБРИД гироскопа ИЗ НЕКРУГЛЫХ, двух катушек с новым типом оптического волокна с «полой сердцевиной из фотоно-замещенной вакуумной зоной или (NANF)», где - свет в каждом *плече* проходит по 500 (в дальномере «+» опорных 1000) км., при этом, не превышает параметры 94/94/94 см., и вес - 94кг. Предприятия по выпуску "Волоконно - оптических гироскопов" может выпускать ГИБРИД гироскопы и дальномеры, для учебно практического применения в школах и высших учебных заведений. Эйнштейна мечтал измерить скорость самолёта; 200, 300, м/сек - через опыт Майкельсона Морли 1881/2024 г., и только тогда, опыт будет прямой для СТО. И это возможно выполнить с помощью оптоволоконного ГИБРИД гироскопа. Вот исходя из выполненного более 70% опыта Майкельсона, возможно увидим доказательства постулат: Свет - это упорядоченная вибрация гравитационных квантов и доминантные гравитационные поля корректируют скорость света в вакууме. Думаю, получится совершать научные открытия; по астрономии, астрофизике, космологии, высшей теоретической физике,.. В итоге *увидите* теорию всего в простых учебных устройствах.
@@chelol208 Здравствуйте. Позвольте вопросы. Вы знайте что такое *прямой* физический опыт? Много Вы знайте доступные науки опыты с квантами гравитации? Так вот за 119 лет в первые предлагаем прямой физический опыт с использованием современных оптических волокон в опыте Майкельсона, по проверке постулат Эйнштейна в СТО. Также опыт и для *возможного* обнаружения квантов гравитации. Бывает по жизни так; чтобы достичь новое, нужно разрушить старое. Обращаюсь к Вам с предложением на совместное изобретения ГИБРИД гироскопа ИЗ НЕКРУГЛЫХ, двух катушек с новым типом оптического волокна с «полой сердцевиной из фотоно-замещенной вакуумной зоной или (NANF)», где свет в каждом плече проходит по 600 (в дальномере «+» опорных 1200) км., при этом, не превышает параметры 94/94/94 см., и вес - 84кг. Предприятия по выпуску "Волоконно-оптических гироскопов" может выпускать ГИБРИД гироскопы и дальномеры, для учебно практического применения в школах и высших учебных заведений. Эйнштейна мечтал измерить скорость самолёта; 200, 300, 400, 500 м/сек - через опыт Майкельсона Морли 1881/2024 г., и только тогда, опыт будет прямой для СТО. И это возможно выполнить с помощью оптоволоконного ГИБРИД гироскопа. Вот исходя из выполненного более 70% опыта Майкельсона, возможно увидим доказательства постулат: Свет - это упорядоченная вибрация гравитационных квантов и доминантные гравитационные поля корректируют скорость света в вакууме. Думаю, получится совершать научные открытия; по астрономии, астрофизике, космологии, высшей теоретической физике,..
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты) В описании всегда есть ссылка на оригинальный ролик. Вот ссылка на программу - можете сами попробовать clck.ru/3Dy9oJ Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Если бы учёные слушали советы таких как ты-наука бы никогда не достигали бы такого уровня, что смогла создать смартфон, на которым ты написала этот.комментарий
В 1920 некоторые люди говорили про компьютеры также . « Зачем говорить о компьютерах , если они делают всего лишь 100 вычислений в секунду , да еще и занимают огромное место, потому что работают на радиолампах. А потом появился транзистор , и дальше мне тебе обьяснять не надо ничего . Так вот к чему я , чем больше о чем то говорят, тем больше этим интересуются, и тем больше людей может придумать что-то , что может сильно ускорить развитие данной отрасли , так что тут прямая корреляция , опездол
@@Dhhdbddbdhdb клоун, речь не идет об использовании " для помощи" в открытиях, а об самостоятельности в мат. компетенции. Ты видимо, не понимаешь, что чат гпт это не нейронная сеть,жаль, ну иди , не знаю, поучись,пигмей.
как и создатель атомной бомбы, он был всего лишь хорошим физиком и посредственным инженером, но он был хорошим руководителем руководитель с IQ 220, это не путин с умишком моли (и слава богу).
я не могу этого понять... прошу простить меня за тафтологию но... как все вы не понимаете, что искусственный интеллект, это ветошь... рухлядь наших познаний прежнего !
Если у него 220 айкью то у меня 1000.. Потому что я создал конструкцию СВОБОДНОЙ ЭНЕРГИИ,а он нет. Все расчеты соответствуют законам физики. Достаточно лишь ознакомиться с моим вторым роликом
Математика с умозаключениями не имеет ничего общего. Он может быть богом математики и при этом делать глупые выводы в других вещах. Ну тебе, кстати,виднее ,глупый он или нет.😂
Интересно, но максимум интелекта считается 140 а потом пофиг 140, 150, 160 (максимум для классического теста), 200, 300, 1000000 - разницы фактически нету.
![Старейшая нерешённая задача [Veritasium]](http://i.ytimg.com/vi/FuRem6-sTmQ/mqdefault.jpg)
![Старейшая нерешённая задача [Veritasium]](/img/tr.png)
Когда человек с IQ 220 говорит, что будущее за симбиозом ИИ и человека, а не за их соперничеством - стоит задуматься. Возможно, главный прорыв в математике произойдёт не благодаря мощи искусственного интеллекта, а благодаря нашей способности правильно его использовать?
Большое спасибо! Мечтал услышать великого человека. Читал его работы и думал, что он типичный аутист, а он чешет как ведущий телешоу!
Нам просто нет смысла давать ИИ свободу, а контролировать его мы научимся. Нейросети специально натренированные вполне смогут контролировать оперативку AGI, очищая её от плохих мыслей.
Ты же рофлишь сейчас? Никто из людей даже понять не сможет интеллект, у которого будет 400 или 500 IQ. Даже следить за мыслью не получится, не то что использовать ))
@@SibLondon в наших силах не дать ему стать слишком умным и заложить в архитектуре тормозящие элемннты
@@SibLondon так это потому что объемы данных ограничены) когда мы киберимплантами обновим мозг то сможем обрабатывать такое колво данных что и 1000 айкью сможем понять
Иллюстрацией текущего состояния является ИИ-перевод этой лекции 😁
даже раскрытие рта на видео поменяли
@@dicloniusN35это скорее в негативном плане, озвучка на искусственную еду похожа 😂
Хреновый перевод пока ещё. Дофига ошибок в терминах и довольно косноязычный. Приходиться напрягаться, чтобы понять.
Какой ИИ, кстати, это делает?
дофига ошибок, лучше оригинал пойду смотреть. там даже инфа со слайдами не стыкуется в простейших вещах (такие типичные галлюцинации)
Как раз собирался посмотреть это видео в оригинале и тут попался перевод да ещё с ИИ обработкой, вообще класс, спасибо!
### Анализ видео
#### 1. Введение и знакомство с профессором Теренсом Тао
- **Описание**: В начале видео представлен профессор Теренс Тао, известный математик, который участвовал в Олимпиаде по математике в очень юном возрасте.
- **Содержание**:
- Теренс Тао участвовал в Олимпиаде по математике в 11 лет и получил медаль.
- В 13 лет он стал самым молодым участником, получившим золотую медаль.
- Он больше не участвовал в Олимпиадах, а продолжил карьеру в Калифорнийском университете в Лос-Анджелесе.
- Теренс Тао считается одной из самых ярких звезд олимпиады по математике и одним из самых влиятельных математиков нашего времени.
#### 2. Машинная помощь в математике
- **Описание**: Обсуждение роли машинной помощи в математике, включая использование компьютеров для решения задач и исследований.
- **Содержание**:
- Упоминается лекция от Deep Mind о продукте Alpha Geometry, который может отвечать на вопросы по геометрии из олимпиады по математике.
- Обсуждается, как инструменты машинной помощи начинают менять исследовательскую математику.
- Отмечается, что исследовательская математика отличается от соревновательной, так как задачи решаются не за три часа, а за месяцы.
- Подчеркивается преемственность использования компьютеров и машин для решения математических задач.
#### 3. История использования компьютеров в математике
- **Описание**: Обзор истории использования компьютеров для выполнения математических расчетов и решения задач.
- **Содержание**:
- Упоминаются ранние машины, такие как абакус, и более современные компьютеры.
- Обсуждается, как компьютеры использовались во время Второй мировой войны для вычислений баллистики.
- Упоминаются логарифмические таблицы Непера и их использование в математических исследованиях.
- Подчеркивается, что компьютеры использовались даже раньше, чем это принято считать.
#### 4. Использование таблиц и баз данных в математике
- **Описание**: Обсуждение использования таблиц и баз данных в математических исследованиях и их роли в открытии новых результатов.
- **Содержание**:
- Упоминается Онлайн энциклопедия целочисленных последовательностей и ее использование в математических исследованиях.
- Обсуждается, как таблицы помогли открыть теорему о простых числах и гипотезу Бернарда.
- Подчеркивается, что таблицы и базы данных продолжают играть важную роль в математических исследованиях.
#### 5. Научные вычисления и моделирование
- **Описание**: Обсуждение использования научных вычислений и моделирования в математике, включая решение сложных задач и уравнений.
- **Содержание**:
- Упоминается использование компьютеров для моделирования уравнений жидкости при строительстве дамбы Арис.
- Обсуждается, как компьютеры используются для решения линейных уравнений, уравнений в частных производных и комбинаторных вычислений.
- Подчеркивается, что многие геометрические задачи могут быть решены с помощью научных вычислений.
#### 6. Решатели логических головоломок и проблемы пифагоровых троек
- **Описание**: Обсуждение использования решателей логических головоломок и решения проблемы пифагоровых троек с помощью компьютеров.
- **Содержание**:
- Упоминаются решатели логических головоломок, которые могут решать задачи с тысячами утверждений.
- Обсуждается решение проблемы пифагоровых троек, которая была решена с помощью компьютера.
- Подчеркивается, что некоторые задачи могут быть решены только с помощью компьютеров.
#### 7. Формализация математических доказательств
- **Описание**: Обсуждение процесса формализации математических доказательств и использования формальных помощников по доказательствам.
- **Содержание**:
- Упоминается доказательство теоремы о четырех цветах и гипотезы Кеплера о упаковке сфер.
- Обсуждается, как формализация доказательств помогает убедиться в их правильности.
- Подчеркивается, что формализация доказательств становится все более важной в математических исследованиях.
#### 8. Использование машинного обучения и больших языковых моделей в математике
- **Описание**: Обсуждение использования машинного обучения и больших языковых моделей для решения математических задач и генерации гипотез.
- **Содержание**:
- Упоминается использование нейронных сетей для поиска решений к частным дифференциальным уравнениям.
- Обсуждается, как машинное обучение может помочь обнаружить новые связи в математике.
- Подчеркивается, что большие языковые модели, такие как GPT-4, могут генерировать возможные подходы к задачам.
### Выводы
1. **Теренс Тао**: Видео начинается с представления известного математика Теренса Тао, который участвовал в Олимпиаде по математике в юном возрасте и стал одним из самых влиятельных математиков нашего времени.
2. **Машинная помощь**: Роль компьютеров и машинной помощи в математике становится все более важной, особенно в исследовательской математике, где задачи решаются не за три часа, а за месяцы.
3. **Формализация доказательств**: Процесс формализации математических доказательств помогает убедиться в их правильности и становится все более важным в математических исследованиях.
4. **Машинное обучение**: Использование машинного обучения и больших языковых моделей открывает новые возможности для решения математических задач и генерации гипотез.
5. **Решатели логических головоломок**: Решатели логических головоломок и компьютеры помогают решать сложные задачи, которые невозможно решить без посторонней помощи.
Вижу Тао,ставлю лайк неглядя❤
спасибо за труд...наткнулся вот , но лучше посмотрю в оригинале, все таки ИИ до сих пор лажает и галлюцинирует, куча ошибок, на слайде одно, говорит другое. т.е. кто в теме хоть чуть чуть, слышит все эти огрехи и странности
Человек + ИИ = ❤
Благодаря какому ИИ получается переделывать мимику лица под перевод?
там все наоборот
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты)
Вот ссылка на программу - можете сами попробовать
clck.ru/3Dy9oJ
Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Переводы ИИ делает замечательные😂ИИ уже может сам и лекции читать
Ну что ж посмотрим поможет ли заснуть
Килодевочка как единица вычислительной мощности... Думаю, у феминисток бы подгорело)
Это где он ?
Проблема таких видео это - обобщение и упрощение всей информации. Мало примеров мало конкретики только вокруг да около.
Вот вот. Ну научатся быстрее формализовать доказательства, на что это повлияет? Профессоры тратят кучу времени, а чем это поможет в понимании всей картины не понятно.
@@OO-OO-00-88 был бы он гением то в конце всей это розказни каждой темы говорил для каких конкретно вещей это будет полезно. а потом жалуются что никто в науку идти не хочет. скучные учёные делают науку не популярной и уменьшают количество учёных. выглядят как дураки которые решают задачи ради самих задач а не чтобы чего-то достичь с этими задачами новые технологии или чего-то такого.
@@chelol208 Для математики это норма. Она существует в своей параллельной реальности, почти не соприкасаясь с реальным миром.
@@Data-Noise так тогда можем мы сказать что они ничем от философов не отличаются? их идеи почти никогда не выходят в реальный мир ибо их теории бесконечно разрабатываются и даже после законченной работы с теорией ещё предстоит долгое время искать её применение а потом и ещё время на то чтобы создать на их основе что либо в реальности. может это и норма для математиков но с целью популяризации науки им либо говорить практические вещи либо не выкладывать эти презентации и оставлять закрытыми для ограниченной публики таких же пустодельников.
@@chelol208 Именно. Математика этого философия, только с более сложным механизмом и правилами.
Доказательства теорем теперь занимают террабайты данных. Что это значит для человеческого общества? Что проверить это невозможно, десятки лет сидеть и изучать и проверять доказательство никто не будет. Либо слепо доверять ИИ, а это означает передача власти машине. Либо признать недействительным такие доказательства. Но неужели это единственный путь в математике?
Какая на власть какой на машине, власть это воля, воля это желание а желание это жажда жрать, с чего вы решили что в один момент Сама слепая алчная жизнь вдруг подчинит себя машине, если и найдутся такие одарённые аутисты так они и исчезнут вместе со своей машиной.
Это не слепое доверие машине, машина будет предоставлять описание решения
@@DreamerDoor Вы переоцениваете способность интеллекта, одного из члеников жизни, непосредственно влиять на жизнь. Жизнь стирает интеллект как грязь с лица при любом серьёзном стрессе
Почитайте про конструктивную математику и формальную верификацию. Стандартный подход к математике это формулировать теоремы и доказательства на языке теории множества, но существует и другой подход, большую часть математики можно переформулировать на языке теории типов. Наиболее популярными системами являются Coq и Lean, основанные на исчисление конструкций. Грубо говоря ты можешь написать компьютерную программу которая строго эквивалентна математической теореме, система автоматической верификации запускает эту программу и если она успешно завершается значит доказательство правильное. Причём всё крайне строго и математически обосновано, ошибки быть не может, эта система точно скажет правильное ли доказательство или нет, человек может допустить ошибку, машина нет. Бума таких систем особо не было потому что они могут лишь проверять правильность доказательства, они не могут их генерировать, но сейчас с развитием нейросетей открывается возможность. Нейросеть генерирует доказательства и формальна система проверяет его правильность.
@fenixfve2613 Спасибо, очень интересно. Однозначно самый полезный комментарий!
Перевод конечно классный, но все еще трудно переварить такой материал, лучше пойду в оригинале послушаю 🤷🏻♂️
Кому нужен оригинал:
ruclips.net/video/e049IoFBnLA/видео.htmlsi=yuBrN1s9TmNPC14s
ссылка на оригинал есть всегда в описании
через какой сайт перевели на русский язык
?
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты)
В описании всегда есть ссылка на оригинальный ролик.
Вот ссылка на программу - можете сами попробовать
clck.ru/3Dy9oJ
Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
@atsyhan благодарю
нужны пару килодевочек в помощники
Лекция для студентов, смысл всего монолога если можно так назвать поток сознания этого Теренса, не больше…
Вы бы хоть предложение закончили формулировать, прежде чем так критиковать одного из ведущих учёных, ага.
@ ни грамма критики в том что я написал нет, это мое восприятие информации которую данный выдающийся ученный пытался донести до масс. Теория без практики мертва а практика без теории слепа. Развитие ИИ и его практическое применение уже далеко впереди всех этих постулатов озвученных в видео
Имеют в виду Владимира Воеводского, перевод плохой, лучше слушать в оригинале.
Перевод этого видео - машинный?
Определенно
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты)
В описании всегда есть ссылка на оригинальный ролик.
Вот ссылка на программу - можете сами попробовать
clck.ru/3Dy9oJ
Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Про IQ вообще лишняя информация. Говорить про то, что Теренс один из сильнейших математиков мира и привязывать его мышление к обычным тестам глупо. Это как Магнуса Карлсена оценивать по игре в тетрис. Ну, пережиток прошлого, не нужно этого популизма для хлебушков.
Так нет ИИ м не факт что когда либо будет
Умнейший из умнейших математиков, но 6 проблему Миллениум не решил.
Сейчас забылось значение слова "тао", но в Средние века оно на китайском означало: мудрейший из мудрейших, т.е. абсолютный мудрец, равный сыну бога на земле.
@@ЧороТукембаев тао в английском - это дао в русском. возможно, в китайском это слово и звучит как "тао"
@darcos-i6s дао и тао имело одинаковый смысл в средневековом китайском языке до упадка даосизма, на смену которому пришёл буддизм в середине 13-го века.
Ужасный перевод 😢
Всё уже написано. Р. Э. Хайнлайн. Луна Суровая хозяйка.
Килодевочка...
Жыве Беларусь!
Надеюсь
А это автор или ютуб создал ИИ -лимпсинк? Я как-то удивился когда Тао начал по русски двигать губами в такт перевода...
Это ИИ.
@@vladpen да?
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты)
В описании всегда есть ссылка на оригинальный ролик.
Вот ссылка на программу - можете сами попробовать
clck.ru/3Dy9oJ
Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Что за ужасный автоперевод ладно много некорректно, так еще и смысл часто теряется
Про GPT-4o ничего не сказал, которая лучше в математике. Видимо это старое видео.
О GPT-4 на 43-ей минуте.
@@glebpetrov1878 Есть GPT-4, а есть GPT-4o, так называемая Strawberry.
o1 лучше гораздо
это было раньше 4о
он отупел недавно, но ускорился
Господь отец из квант струны, непрерывно ткал цветы, для ткани мира, и мать Вселенная в бутоне лепестков, квант музыкой ноты подбирала и миром музыки из квантов наблюдая, ищет дитя *Творца сорванца* что сорвёт «цветочек аленький» и разорвутся струны квантов на мембраны, свернуться как лепестки цветов в саду весеннем и Вселенная заново перезапуститься и повторяеться под копирку: Господь из лучшего эфира соткал живые струны *Творца и сорванца* и они были созданы не для мира и мир был создан не для них и сгинем вместе с ним и Мы, для нового совершенного мира! Или, же есть предел информации у Вселенной и лопнет она от лжи копируемой, что грузим Мы искусно в интеллект через искусственный интеллект.
молодец совместил религиозную не доказанную ахинею с наукой которая имеет четкие доказательства
@chelol208 не спешите, если можешь думать. То пожалуйста. Школьные технологии могут позволить увидеть, нечто иное если:
Соберём учебно/практические пособия «Майкельсон Морли ГИБРИДНЫЙ гироскоп с переключения в «лазерную рулетку; опорным сигналом *+опорное расстояние* в 1000000 м., с обратным зеркалом». (мы, не ищем эфир, Мы *увидим* как работает квантовая гравитация)
Обращаюсь к Вам с предложением на совместное изобретения ГИБРИД гироскопа ИЗ НЕКРУГЛЫХ, двух катушек с новым типом оптического волокна с «полой сердцевиной из фотоно-замещенной вакуумной зоной или (NANF)», где - свет в каждом *плече* проходит по 500 (в дальномере «+» опорных 1000) км., при этом, не превышает параметры 94/94/94 см., и вес - 94кг. Предприятия по выпуску "Волоконно - оптических гироскопов" может выпускать ГИБРИД гироскопы и дальномеры, для учебно практического применения в школах и высших учебных заведений.
Эйнштейна мечтал измерить скорость самолёта; 200, 300, м/сек - через опыт Майкельсона Морли 1881/2024 г., и только тогда, опыт будет прямой для СТО. И это возможно выполнить с помощью оптоволоконного ГИБРИД гироскопа. Вот исходя из выполненного более 70% опыта Майкельсона, возможно увидим доказательства постулат: Свет - это упорядоченная вибрация гравитационных квантов и доминантные гравитационные поля корректируют скорость света в вакууме. Думаю, получится совершать научные открытия; по астрономии, астрофизике, космологии, высшей теоретической физике,..
В итоге *увидите* теорию всего в простых учебных устройствах.
@@chelol208 Здравствуйте. Позвольте вопросы. Вы знайте что такое *прямой* физический опыт? Много Вы знайте доступные науки опыты с квантами гравитации?
Так вот за 119 лет в первые предлагаем прямой физический опыт с использованием современных оптических волокон в опыте Майкельсона, по проверке постулат Эйнштейна в СТО.
Также опыт и для *возможного* обнаружения квантов гравитации. Бывает по жизни так; чтобы достичь новое, нужно разрушить старое.
Обращаюсь к Вам с предложением на совместное изобретения ГИБРИД гироскопа ИЗ НЕКРУГЛЫХ, двух катушек с новым типом оптического волокна с «полой сердцевиной из фотоно-замещенной вакуумной зоной или (NANF)», где свет в каждом плече проходит по 600 (в дальномере «+» опорных 1200) км., при этом, не превышает параметры 94/94/94 см., и вес - 84кг. Предприятия по выпуску "Волоконно-оптических гироскопов" может выпускать ГИБРИД гироскопы и дальномеры, для учебно практического применения в школах и высших учебных заведений.
Эйнштейна мечтал измерить скорость самолёта; 200, 300, 400, 500 м/сек - через опыт Майкельсона Морли 1881/2024 г., и только тогда, опыт будет прямой для СТО. И это возможно выполнить с помощью оптоволоконного ГИБРИД гироскопа.
Вот исходя из выполненного более 70% опыта Майкельсона, возможно увидим доказательства постулат: Свет - это упорядоченная вибрация гравитационных квантов и доминантные гравитационные поля корректируют скорость света в вакууме. Думаю, получится совершать научные открытия; по астрономии, астрофизике, космологии, высшей теоретической
физике,..
@@chelol208молодец разделил суть одну вещь Веру, с помощью демагогии
@@chelol208В науке много чего тоже не доказано) Религия показывает как должен быть устроен мир, наука показывает как он устроен на данный момент
Это фейковое видео?
В нем озвучка от ии
Это технология ИИ перевода видео, где губы говорящего подстраиваются под язык перевода - называется липсинк. Иногда бывают артефакты)
В описании всегда есть ссылка на оригинальный ролик.
Вот ссылка на программу - можете сами попробовать
clck.ru/3Dy9oJ
Еще там можно сделать вашего ИИ аватара, или выбрать из 1000
Пока ии не решит хотя бы одну из задач тысячилетия, что толку говорить о нем?
Если бы учёные слушали советы таких как ты-наука бы никогда не достигали бы такого уровня, что смогла создать смартфон, на которым ты написала этот.комментарий
@finelight6615 как это коррелирует? Опездол?
😂 иди отдыхай Иван
В 1920 некоторые люди говорили про компьютеры также . « Зачем говорить о компьютерах , если они делают всего лишь 100 вычислений в секунду , да еще и занимают огромное место, потому что работают на радиолампах. А потом появился транзистор , и дальше мне тебе обьяснять не надо ничего .
Так вот к чему я , чем больше о чем то говорят, тем больше этим интересуются, и тем больше людей может придумать что-то , что может сильно ускорить развитие данной отрасли , так что тут прямая корреляция , опездол
@@Dhhdbddbdhdb клоун, речь не идет об использовании " для помощи" в открытиях, а об самостоятельности в мат. компетенции. Ты видимо, не понимаешь, что чат гпт это не нейронная сеть,жаль, ну иди , не знаю, поучись,пигмей.
меня хватило ровно на половину видео дальше я просто своим умом 11 классника перестал понимать
Знать, ни в том или другом, он не силён.
как и создатель атомной бомбы, он был всего лишь хорошим физиком и посредственным инженером, но он был хорошим руководителем
руководитель с IQ 220, это не путин с умишком моли (и слава богу).
Нууу, знаете, иногда и 130 IQ будут получше 220 в правильном мозге.
Никак нет 🤦🏻♂️ если вы не способны понять это ваши проблемы
твоем?
арифмомЕтры... Русский учите, неучи !
Заносчивый парень в кедах... 😂
Потому что без ИИ он становится ПТУ-шником.
я не могу этого понять... прошу простить меня за тафтологию
но... как все вы не понимаете, что искусственный интеллект, это ветошь...
рухлядь наших познаний прежнего !
всё Новое приходит к нам от Бога !
с Небес нисходит...
и другого благословения не может быть... только
Отковение
Создателя...
Он снизойдёт... Он восприимет !
и наши труды... и наши терпения
поэтому, чем спорить... стисни зубы
Если у него 220 айкью то у меня 1000.. Потому что я создал конструкцию СВОБОДНОЙ ЭНЕРГИИ,а он нет. Все расчеты соответствуют законам физики. Достаточно лишь ознакомиться с моим вторым роликом
Среди говна мы все поэты, среди поэтов мы - говно.
Согласен, а теперь пожалуйста выпейте ваши таблетки
Да да, верим, а ещё прибор для просмотра ауры и разговоров с ангелами?
@@vid253 Скоро, Скоро
чтобы понять, что ваша идея не рабочая достаточно иметь IQ 90-100
Глупый мужик😂, как математик не знаю, но то о чем рассказывает можно предположить, что тоже не очень.
Бля, глупый? Он умнее всей твоей родословной возведенной в квадрате, у него буквально iq в 2 раза больше чем у тебя критин, а может даже в 3
Математика с умозаключениями не имеет ничего общего. Он может быть богом математики и при этом делать глупые выводы в других вещах.
Ну тебе, кстати,виднее ,глупый он или нет.😂
Иваны ведь умнее всех 😂 отдельная цивилизация
ты не имеешь с математикой ничего общего
@@chyngyzdosmatov3229 что общего садовника с садом? Ничего, он просто его создает.
фууу зачем мне это знать
фуфуфу давай больше видео о нейролинк и роботах и полезным чёта
Незачем... Вам бы для начала научится садить картошку и строить примитивные мельницы 17го века
Чел с 200IQ рекламируют улиткам скам... 😂
Интересно, но максимум интелекта считается 140 а потом пофиг 140, 150, 160 (максимум для классического теста), 200, 300, 1000000 - разницы фактически нету.
Сказал ты 😂 ну ок