Я надеюсь все прочитали что такое AlphaGeometry, как она работает и как решает олимпиадные задачи. Потому что в этом видео сравнивается решение AlphaGeometry (да, его следует перетерпеть), и решение человека.
И видно что человек старается найти решение намного короче и КРАСИВЕЙ. А AlphaGeometry просто херачит какие-то шаги, которые дадут результат. Поэтому пока что системы автоматического доказательства может и дадут какие-то факты, но они не дадут реально нового ЗНАНИЯ.
https://youtu.be/ZrjarkXS0Fo
И видно что человек старается найти решение намного короче и КРАСИВЕЙ. А AlphaGeometry просто херачит какие-то шаги, которые дадут результат. Поэтому пока что системы автоматического доказательства может и дадут какие-то факты, но они не дадут реально нового ЗНАНИЯ.
https://youtu.be/ZrjarkXS0Fo
YouTube
AI Can Do Maths Now, and it's Wild
⬣ LINKS ⬣
⬡ PATREON: https://www.patreon.com/anotherroof
⬡ CHANNEL: https://www.youtube.com/c/AnotherRoof
⬡ WEBSITE: https://anotherroof.top
⬡ SUBREDDIT: https://www.reddit.com/r/anotherroof
⬡ TWITCH: https://www.twitch.tv/anotherroof
Check out Sabine Hossenfelder’s…
⬡ PATREON: https://www.patreon.com/anotherroof
⬡ CHANNEL: https://www.youtube.com/c/AnotherRoof
⬡ WEBSITE: https://anotherroof.top
⬡ SUBREDDIT: https://www.reddit.com/r/anotherroof
⬡ TWITCH: https://www.twitch.tv/anotherroof
Check out Sabine Hossenfelder’s…
Часовое видео про то как устроены гладкие кривые, будь то в компьютерной графике или промышленности (!). Поймёт любой школьник (знающий английский), потому что рассказано очень просто, подробно, качественно и просто КРАСИВО. Freya офигенна тем, что делает самые лучшие анимации на свете. Просто посмотрите первую минуту видео, и поймёте о чём я говорю. Смотрится на одном дыхании, и очень жаль что у такого классного видео всего 1млн просмотров, потому что должно быть минимум 10.
https://www.youtube.com/watch?v=jvPPXbo87ds
https://www.youtube.com/watch?v=jvPPXbo87ds
YouTube
The Continuity of Splines
why are splines? well my god I have good news for you, here's why splines!
if you like my work, please consider supporting me 💖
https://www.patreon.com/acegikmo
This project grew much larger in scope than I had originally intended, and burnout made it impossible…
if you like my work, please consider supporting me 💖
https://www.patreon.com/acegikmo
This project grew much larger in scope than I had originally intended, and burnout made it impossible…
Шикарная документалка про ДВС и электромобили. В видео рассказывается история появления бензина как топлива и про зарождение экологии, а так же почему электромобили могут быть плохи.
Я тоже давно думал что аккумуляторы очень вредны для природы и на самом деле электрокары не такие "экологичные" как их считают. А тут это снова подтверждается. А ещё тут говорится что сейчас выбросов от обычных автомобилей очень очень мало.
Всем советую посмотреть, очень интересное видео, не оторваться.
https://youtu.be/_HbEl-2n5AQ
Я тоже давно думал что аккумуляторы очень вредны для природы и на самом деле электрокары не такие "экологичные" как их считают. А тут это снова подтверждается. А ещё тут говорится что сейчас выбросов от обычных автомобилей очень очень мало.
Всем советую посмотреть, очень интересное видео, не оторваться.
https://youtu.be/_HbEl-2n5AQ
YouTube
НЕФТЬ и ЭКОЛОГИЯ. Спасут ли нас электромобили?
🚗 Найти авто по хорошей или отличной цене на Авито: https://clc.to/Avito__Asafiev
🚗 Проверить его через Автотеку: https://clc.to/Autoteka__StasAsafiev
🎮 https://bit.ly/2OrJ0pK - руль Logitech G923 для Playstation/PC
🎮 https://bit.ly/3wv90BM - руль Logitech…
🚗 Проверить его через Автотеку: https://clc.to/Autoteka__StasAsafiev
🎮 https://bit.ly/2OrJ0pK - руль Logitech G923 для Playstation/PC
🎮 https://bit.ly/3wv90BM - руль Logitech…
Видео набрало 1.8млн просмотров, и выпущено 5 месяцев назад. Начало в нём очень похоже на unasanu: что числа описывают всё, что там есть любая книга, а потом и любое положение любой частицы, иииии... Это значит что математика это бог 🗿 Я уж испугался что unasanu переизобрели, ан нет. Эх, а ведь человек был так близко.
Само по себе видео не очень интересно.
https://youtu.be/z0hxb5UVaNE
Само по себе видео не очень интересно.
https://youtu.be/z0hxb5UVaNE
YouTube
Proving God exists using Math
This longer video explains the Mandelbrot set in more detail:
https://www.youtube.com/live/taKaFUNJ6Ec?si=kzHgGo_q72Yzpo3Z
Explore the Mandelbrot set yourself:
https://math.hws.edu/eck/js/mandelbrot/MB.html
Join our discord community:
https://discord.gg/redeemed…
https://www.youtube.com/live/taKaFUNJ6Ec?si=kzHgGo_q72Yzpo3Z
Explore the Mandelbrot set yourself:
https://math.hws.edu/eck/js/mandelbrot/MB.html
Join our discord community:
https://discord.gg/redeemed…
Видео на тему компьютерной графики, про генерацию гор с помощью двух интересных алгоритмов.
Очень красиво сделано, чувак видимо всё рисует в блендере с использованием path tracing, каждый кадр выглядит киношно пипец. Просто смотреть уже одно удовольствие.
https://youtu.be/gsJHzBTPG0Y
Очень красиво сделано, чувак видимо всё рисует в блендере с использованием path tracing, каждый кадр выглядит киношно пипец. Просто смотреть уже одно удовольствие.
https://youtu.be/gsJHzBTPG0Y
YouTube
Better Mountain Generators That Aren't Perlin Noise or Erosion
IQ's Article: https://iquilezles.org/articles/morenoise/
A video about convolution: https://www.youtube.com/watch?v=KuXjwB4LzSA
MUSIC
Colorful Flowers by Tokyo Music Walker | https://soundcloud.com/user-356546060
And So It Begins by Artificial.Music | h…
A video about convolution: https://www.youtube.com/watch?v=KuXjwB4LzSA
MUSIC
Colorful Flowers by Tokyo Music Walker | https://soundcloud.com/user-356546060
And So It Begins by Artificial.Music | h…
Коротенькое видео о том почему функция Дирихле является королём контр-примеров в математике.
Особенно меня поразило два использования:
* Функция, которая непрерывна, только в определённом числе точек (не интервалов, да-да). Я раньше даже подумать не мог что непрерывность может быть определена для точки, думал что она имеет смысл только для интервалов.
* Периодичность функции Дирихле. Она периодична, но у него нет периода! Это вообще жесть.
Очень люблю когда на вот всякие такие мелочи в математике приводят контр-пример, который объясняет что возможно, а что нет. Функция Вейерштрасса туда же.
https://youtu.be/7HbyO2PPXkg
Особенно меня поразило два использования:
* Функция, которая непрерывна, только в определённом числе точек (не интервалов, да-да). Я раньше даже подумать не мог что непрерывность может быть определена для точки, думал что она имеет смысл только для интервалов.
* Периодичность функции Дирихле. Она периодична, но у него нет периода! Это вообще жесть.
Очень люблю когда на вот всякие такие мелочи в математике приводят контр-пример, который объясняет что возможно, а что нет. Функция Вейерштрасса туда же.
https://youtu.be/7HbyO2PPXkg
YouTube
Dirichlet Function: The King of Calculus Counter-Examples
Reference:
https://demonstrations.wolfram.com/TheModifiedDirichletFunction/
https://mathworld.wolfram.com/DirichletFunction.html
https://math.fel.cvut.cz/mt/txtb/4/txe3ba4s.htm
---
0:00 Five Anti-intuition Calculus Questions
0:20 Derive the Dirichlet Function…
https://demonstrations.wolfram.com/TheModifiedDirichletFunction/
https://mathworld.wolfram.com/DirichletFunction.html
https://math.fel.cvut.cz/mt/txtb/4/txe3ba4s.htm
---
0:00 Five Anti-intuition Calculus Questions
0:20 Derive the Dirichlet Function…
Очень прикольный способ рендерить "воксельные" карты. Прям супер-производительный и простой. Почитайте ридмишку и поиграйтесь в веб-демку: https://s-macke.github.io/VoxelSpace/VoxelSpace.html
Если кратко, то там вся карта хранится в виде двух текстур, а "воксели" рендерятся хитрым образом, просто проходя по этим текстурам в нужном порядке.
https://github.com/s-macke/VoxelSpace
Если кратко, то там вся карта хранится в виде двух текстур, а "воксели" рендерятся хитрым образом, просто проходя по этим текстурам в нужном порядке.
https://github.com/s-macke/VoxelSpace
Очень весёлая мини-игра, в которой нужно долететь до базы на корабле, только есть условие в том что вам будут мешать потоки воздуха, которые очень честно физически симулируются!!! Никогда не видел чтобы так объединили сложную физическую симуляцию и простую идею для игры.
https://github.com/s-macke/Interplanetary-Postal-Service
https://github.com/s-macke/Interplanetary-Postal-Service
Предположим у вас есть полином. Существует численный метод для нахождения всех его корней РАЗОМ (ссылка на википедию).
На данной гифке как раз показывается этот метод, как точки сходятся ко всем корням.
Метод ОЧЕНЬ красивый. Предположим у вас есть полином четвёртой степени, тогда его можно представить как:
если немного переписать, то будет:
Аналогично можно переписать для любого другого корня. На этом строится итеративный процесс одновременно для всех переменных, которые и будут являться корнями (см. картинку 2).
Гифка взята отсюда: https://twitter.com/gabrielpeyre/status/1771054198609818080
На данной гифке как раз показывается этот метод, как точки сходятся ко всем корням.
Метод ОЧЕНЬ красивый. Предположим у вас есть полином четвёртой степени, тогда его можно представить как:
f(x) = (x-P)(x-Q)(x-R)(x-S)
если немного переписать, то будет:
P = x - f(x)/[(x-Q)(x-R)(x-S)]
Аналогично можно переписать для любого другого корня. На этом строится итеративный процесс одновременно для всех переменных, которые и будут являться корнями (см. картинку 2).
Гифка взята отсюда: https://twitter.com/gabrielpeyre/status/1771054198609818080
Очень красивая и ламповая история как чувак бросил работу, 5 лет разрабатывал игру, и заработал на этом состояние. Очень рад за чувака!
https://youtu.be/5JKwr84_aXs
https://youtu.be/5JKwr84_aXs
YouTube
My Wife and I Made an Indie Game and it Made Millions!
Check out Eastshade on Steam! https://store.steampowered.com/app/715560/Eastshade/
Wishlist our new title Songs of Glimmerwick! https://store.steampowered.com/app/1706510?utm_source=YouTubeDesc
Sometimes I live stream development at:
https://www.twitch…
Wishlist our new title Songs of Glimmerwick! https://store.steampowered.com/app/1706510?utm_source=YouTubeDesc
Sometimes I live stream development at:
https://www.twitch…
Forwarded from Karim Iskakov - канал (Karim Iskakov)
Кого сначала заменит AI?
Последнее время почти все мои разговоры с друзьями и коллегами так или иначе сводятся к темам "А что будет, когда AGI появится?", "Чего сейчас не хватает? Нужно 10x данных, 10x компьюта или 10x теории?".
Из этих обсуждений, а также разных лекций/подкастов/твитов у меня сложилась картинка того, в какую сторону AI будет развиваться, и какие области/профессии будут падать первыми. А недавно слитое письмо от OpenAI про их новое(угрожающее человечеству 👻) открытие под названием Q* (Q-star) подкрепило догадки.
1️⃣ Давайте для начала вспомним AlphaGo. Это модель от DeepMind, которая наделала шума, победив в го лучшего в мире белкового игрока. Обучение модели состояло из двух фаз: pretraining и self-play.
Pretraining. Во время этой фазы сетка училась в supervised режиме на истории реальных партий в го. По сути, она училась имитировать игру экспертных игроков. Такая модель уже хорошо играла, побеждала опенсорсные го движки. Но победить лучшего игрока в мире у нее шансов не было.
Self-play. А вот тут пошла жара. Авторы сделали 2 копии модели из pretraining-фазы и заставили их долго мучительно играть друг против друга😅 . Обучалось это с помощью reinforcement learning, для которого очень важно придумать хороший reward, который модель будет максимизировать. В данном случае ревордом служила победа в партии. И вот такая самозадрюченная версия модели уже порвала лучшего в мире игрока в го.
Тут самое главное то, что у авторов получилось создать environment [две +- равные по силе модели играют против друг друга], в котором данные для обучения генерируются сами, без разметки от людей. И эти данные содержат ценный сигнал, т.к. они значительно улучшают итоговое качество моделей (см. картинку в первом комменте)
2️⃣ А теперь проведем аналогии с обучением текущих LLM'ок.
Сейчас в обучении LLM'ок присутствует только pretraining фаза (в терминах статьи AlphaGo). Все 3 этапа обучения ChatGPT – это обучение на данных, размеченных людьми:
1. Обучение на большом корпусе текста
2. Дообучение на диалоговых данных
2. RLHF этап – обучение на преференциях одного ответа другому. Тут можно возразить и сказать, что в RLHF первые 2 буквы означают Reinforcement Learning. Но по сути это все такое же обучение на лейблах, которые разметили люди.
Все, что делает LLM – это имитирует текст или выбор, сделанный человеком. Вряд ли с таким подходом получится превзойти лучших людей в области (у AlphaGo не вышло).
Превзойти человека у нее получится только тогда, когда мы прикрутим аналог self-play фазы. Когда поместим ее в environment, в котором будет хорошо задизайненный реворд, и модель методом проб и ошибок сможет самоулучшаться за счет большого количества компьюта.
Так кого же первым заменит AGI?
Я бы ставил на те области, в которых легче создать эффективный environment с хорошим ревордом и с быстрой обратной связью. Приведу пару примеров из головы.
AI-кодер. Очень грустно это осознавать (думаю, как и большинству подписчиков этого канала😔 ), но скорее всего сетки научатся хорошо программировать довольно скоро. Написание кода, его запуск и тестирование происходит полностью в цифровом мире (быстрая обратная связь). При разработке сложно писать код, но сильно легче придумывать ТЗ и проверять результат (простой дизайн реворда)
AI-психолог. Вот тут гораздо сложнее придумать эффективный environment. Реворд сложный – это психологическое состояние человека, которое сложно апроксимировать вычислениями (только если не научиться весь мозг симулировать). Обучение будет неэффективно, т.к. цикл обратной связи длинный и в нем присутствует человек.
☝️ Буду рад критике таких мыслей и обсуждениям в комментариях!
🎒 @karim_iskakov
Последнее время почти все мои разговоры с друзьями и коллегами так или иначе сводятся к темам "А что будет, когда AGI появится?", "Чего сейчас не хватает? Нужно 10x данных, 10x компьюта или 10x теории?".
Из этих обсуждений, а также разных лекций/подкастов/твитов у меня сложилась картинка того, в какую сторону AI будет развиваться, и какие области/профессии будут падать первыми. А недавно слитое письмо от OpenAI про их новое
Pretraining. Во время этой фазы сетка училась в supervised режиме на истории реальных партий в го. По сути, она училась имитировать игру экспертных игроков. Такая модель уже хорошо играла, побеждала опенсорсные го движки. Но победить лучшего игрока в мире у нее шансов не было.
Self-play. А вот тут пошла жара. Авторы сделали 2 копии модели из pretraining-фазы и заставили их долго мучительно играть друг против друга
Тут самое главное то, что у авторов получилось создать environment [две +- равные по силе модели играют против друг друга], в котором данные для обучения генерируются сами, без разметки от людей. И эти данные содержат ценный сигнал, т.к. они значительно улучшают итоговое качество моделей (см. картинку в первом комменте)
Сейчас в обучении LLM'ок присутствует только pretraining фаза (в терминах статьи AlphaGo). Все 3 этапа обучения ChatGPT – это обучение на данных, размеченных людьми:
1. Обучение на большом корпусе текста
2. Дообучение на диалоговых данных
2. RLHF этап – обучение на преференциях одного ответа другому. Тут можно возразить и сказать, что в RLHF первые 2 буквы означают Reinforcement Learning. Но по сути это все такое же обучение на лейблах, которые разметили люди.
Все, что делает LLM – это имитирует текст или выбор, сделанный человеком. Вряд ли с таким подходом получится превзойти лучших людей в области (у AlphaGo не вышло).
Превзойти человека у нее получится только тогда, когда мы прикрутим аналог self-play фазы. Когда поместим ее в environment, в котором будет хорошо задизайненный реворд, и модель методом проб и ошибок сможет самоулучшаться за счет большого количества компьюта.
Так кого же первым заменит AGI?
Я бы ставил на те области, в которых легче создать эффективный environment с хорошим ревордом и с быстрой обратной связью. Приведу пару примеров из головы.
AI-кодер. Очень грустно это осознавать (думаю, как и большинству подписчиков этого канала
AI-психолог. Вот тут гораздо сложнее придумать эффективный environment. Реворд сложный – это психологическое состояние человека, которое сложно апроксимировать вычислениями (только если не научиться весь мозг симулировать). Обучение будет неэффективно, т.к. цикл обратной связи длинный и в нем присутствует человек.
Please open Telegram to view this post
VIEW IN TELEGRAM
Видео про дизайн и сборку кастомного геймпада с трекболом. Очень классное качество реализации и вообще всё видео прям приятно смотреть, часто делаешь такое лицо: 🤙 .
Особенно мне понравился его подход софту и железу: он тупо взял железо из мышки и геймпада и высунул их во внешнюю коробку, а внутри взял usb-разветвитель, который объединяет их в один usb-провод. Не стал дизайнить свою плату и софт к ней писать. Вот это респект, для таких домашних проектов только так и делать!
https://youtu.be/Ug06dhahqg0
Особенно мне понравился его подход софту и железу: он тупо взял железо из мышки и геймпада и высунул их во внешнюю коробку, а внутри взял usb-разветвитель, который объединяет их в один usb-провод. Не стал дизайнить свою плату и софт к ней писать. Вот это респект, для таких домашних проектов только так и делать!
https://youtu.be/Ug06dhahqg0
Please open Telegram to view this post
VIEW IN TELEGRAM
YouTube
Ultimate FPS - Controller Design & Build
This episode is all about making a custom controller for FPS games. Going through the entire design process from sketch, clay model, 3D scanning, surfacing, CAD engineering, 3D printing and finishing. Wrapping everything up with some play testing with data…
В видео рассказывается про будущее линейной алгебры - рандомизированные алгоритмы (например решения СЛАУ), которые работают на порядок быстрее за счёт предоставления не идеально точного ответа. А в каком-нибудь ML это может быть сомнительно, но окэй.
Поначалу автор углубляется в совсем базовые вещи, так что рекомендую пропускать, ориентируясь на главы. Затем начинается интересное, и он хорошо погружается в детали, не как для тупых вначале.
https://youtu.be/6htbyY3rH1w
Поначалу автор углубляется в совсем базовые вещи, так что рекомендую пропускать, ориентируясь на главы. Затем начинается интересное, и он хорошо погружается в детали, не как для тупых вначале.
https://youtu.be/6htbyY3rH1w
YouTube
Is the Future of Linear Algebra.. Random?
The machine learning consultancy: https://truetheta.io
Join my email list to get educational and useful articles (and nothing else!): https://mailchi.mp/truetheta/true-theta-email-list
Want to work together? See here: https://truetheta.io/about/#want-to-work…
Join my email list to get educational and useful articles (and nothing else!): https://mailchi.mp/truetheta/true-theta-email-list
Want to work together? See here: https://truetheta.io/about/#want-to-work…
Очень приятное видео где чувак кодит рендеринг шрифтов. В каком-то моменте про устройство шрифтов у меня даже возник "aha" момент, очень кайфанул. Ну и ещё разбирает корнер-кейсы, очень умно их дебажит.
В общем можно смотреть на ночь вместо сказки. И голос тоже подходящий))
https://youtu.be/SO83KQuuZvg
В общем можно смотреть на ночь вместо сказки. И голос тоже подходящий))
https://youtu.be/SO83KQuuZvg
YouTube
Coding Adventure: Rendering Text
This... is text! Let's figure out how to draw it.
Starring: Bézier curves and (oh so many) floating point problems.
Source code: https://github.com/SebLague/Text-Rendering
If you'd like to support my work (and get early access to new projects) you can do…
Starring: Bézier curves and (oh so many) floating point problems.
Source code: https://github.com/SebLague/Text-Rendering
If you'd like to support my work (and get early access to new projects) you can do…