Forwarded from
Деды из-за AI взбунтовались.
Ну или, если более серьёзно, заметное число действительно сильных математиков высказалось по поводу AI в очень, скажем так, настороженном смысле. Высказывание заслуживает внимания, и я вставлю свои 5 копеек.
Надысь я читал лекцию и упомянул в конспекте про гипотезу Кёте о нильрадикалах. Отправил ребятам конспект и на следующий же день получил сообщение от студента, что гипотезу раскололи буквально пару недель назад (при помощи AI, разумеется), построив к ней контрпример. Про решённую гипотезу Якобиана все слышали, а про гипотезу о «Навье — Стоксе» соцсети гудят прямо сейчас. И это хорошо: многие люди, не отличающие синус от косинуса, узнают, что математика — это не только про решение квадратных уравнений. А две недели назад, к примеру, один из моих учеников (тоже при помощи AI) нашёл решение одной моей личной проблемы, показав, что у диаграмм сопряжённости бывает сколько угодно концов (и это замечательно).
Пару слов о скептиках. Про тех, кто считает, что AI — грех против природы и вообще ужас ужасный, или что он вообще не нужен, я ничего говорить не буду (как вежливый кролик). Более содержательные возражения такие: (раз) массовое закрытие открытых проблем понижает интерес к математике и в целом негативно сказывается на учебном процессе; (два) построение контрпримеров не закрывает проблемы содержательно; и, главное, (три) люди в математике будут играть такую же декоративную роль, как люди в шахматах. Все понимают, что Stockfish не напрягаясь разнесёт любого шахматиста?
Моя позиция такая. Закрытие многочисленных «именных» проблем — скорее плюс. По большей части они мало интересны сами по себе. В математике вообще обычно доказать нечто куда проще, чем задать правильный вопрос. А в том, чтобы ставить вопросы и искать взаимосвязи, важную роль играет чувство прекрасного и та самая «красота» математики. А с этим у AI пока неустранимые проблемы.
Хорошая (на мой взгляд) математика — про то, как, используя новые термины, описывать известные структуры. Это совсем не то же самое, что искать контрпримеры к известным вопросам. Как говаривал мой шеф: «Зачем вы приносите мне контрпримеры? Что в поставленном виде ответ на вопрос отрицательный — я и сам понимаю. Разберитесь лучше, как поставить вопрос, чтобы ответ был положительным». Не вся математика такая, и многие разделы по сути закрываются, особенно те, что завязаны на контрпримерах или изощрённых вычислениях.
Есть другие проблемы с AI. Хоть пока и не такие острые. О них сейчас и скажу.
Первая. Многие математические институции становятся ненужными (сиречь заменимыми). Вроде как — поговори с ИИ, и он сам всё тебе расскажет. Почему это не так — напишу в другой раз.
Вторая. Эффективность научных изысканий во многом теперь (и отныне) будет завязана на доступ к современным и качественным AI. Потому как без оного почти любой результат можно легко и быстро улучшить, уточнить или дать более короткое доказательство.
То есть отныне математика завязана не на «кто умнее», а на «кто богаче». Это раньше математикам нужны были только карандаши, ластики и бумага (а философам даже ластики не нужны). Ну вот теперь мы будем в том же положении, что и физики-экспериментаторы или биологи. У них без нужного оборудования и соответствующего долгосрочного финансирования мало чего можно добиться. Вот и у нас теперь тоже.
Что по итогу. Да, математика как наука снова оказалась перед серьёзным кризисом. Не первый раз: благодаря Гёделю математику тряхнуло тоже основательно. Но пересобрать себя, понять, что мы и кто мы, — придётся.
В шахтах были канарейки — как сигнализация об угарном газе. У нас в этой роли бухтящие деды. Ну какая шахта, такая и канарейка.
#AI
Ну или, если более серьёзно, заметное число действительно сильных математиков высказалось по поводу AI в очень, скажем так, настороженном смысле. Высказывание заслуживает внимания, и я вставлю свои 5 копеек.
Надысь я читал лекцию и упомянул в конспекте про гипотезу Кёте о нильрадикалах. Отправил ребятам конспект и на следующий же день получил сообщение от студента, что гипотезу раскололи буквально пару недель назад (при помощи AI, разумеется), построив к ней контрпример. Про решённую гипотезу Якобиана все слышали, а про гипотезу о «Навье — Стоксе» соцсети гудят прямо сейчас. И это хорошо: многие люди, не отличающие синус от косинуса, узнают, что математика — это не только про решение квадратных уравнений. А две недели назад, к примеру, один из моих учеников (тоже при помощи AI) нашёл решение одной моей личной проблемы, показав, что у диаграмм сопряжённости бывает сколько угодно концов (и это замечательно).
Пару слов о скептиках. Про тех, кто считает, что AI — грех против природы и вообще ужас ужасный, или что он вообще не нужен, я ничего говорить не буду (как вежливый кролик). Более содержательные возражения такие: (раз) массовое закрытие открытых проблем понижает интерес к математике и в целом негативно сказывается на учебном процессе; (два) построение контрпримеров не закрывает проблемы содержательно; и, главное, (три) люди в математике будут играть такую же декоративную роль, как люди в шахматах. Все понимают, что Stockfish не напрягаясь разнесёт любого шахматиста?
Моя позиция такая. Закрытие многочисленных «именных» проблем — скорее плюс. По большей части они мало интересны сами по себе. В математике вообще обычно доказать нечто куда проще, чем задать правильный вопрос. А в том, чтобы ставить вопросы и искать взаимосвязи, важную роль играет чувство прекрасного и та самая «красота» математики. А с этим у AI пока неустранимые проблемы.
Хорошая (на мой взгляд) математика — про то, как, используя новые термины, описывать известные структуры. Это совсем не то же самое, что искать контрпримеры к известным вопросам. Как говаривал мой шеф: «Зачем вы приносите мне контрпримеры? Что в поставленном виде ответ на вопрос отрицательный — я и сам понимаю. Разберитесь лучше, как поставить вопрос, чтобы ответ был положительным». Не вся математика такая, и многие разделы по сути закрываются, особенно те, что завязаны на контрпримерах или изощрённых вычислениях.
Есть другие проблемы с AI. Хоть пока и не такие острые. О них сейчас и скажу.
Первая. Многие математические институции становятся ненужными (сиречь заменимыми). Вроде как — поговори с ИИ, и он сам всё тебе расскажет. Почему это не так — напишу в другой раз.
Вторая. Эффективность научных изысканий во многом теперь (и отныне) будет завязана на доступ к современным и качественным AI. Потому как без оного почти любой результат можно легко и быстро улучшить, уточнить или дать более короткое доказательство.
То есть отныне математика завязана не на «кто умнее», а на «кто богаче». Это раньше математикам нужны были только карандаши, ластики и бумага (а философам даже ластики не нужны). Ну вот теперь мы будем в том же положении, что и физики-экспериментаторы или биологи. У них без нужного оборудования и соответствующего долгосрочного финансирования мало чего можно добиться. Вот и у нас теперь тоже.
Что по итогу. Да, математика как наука снова оказалась перед серьёзным кризисом. Не первый раз: благодаря Гёделю математику тряхнуло тоже основательно. Но пересобрать себя, понять, что мы и кто мы, — придётся.
В шахтах были канарейки — как сигнализация об угарном газе. У нас в этой роли бухтящие деды. Ну какая шахта, такая и канарейка.
#AI
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
👍104🤡20🔥8😁7🤔4❤🔥3😢3👏2
alexine.rip/the-engineer-to-of-girlie-pipeline.html
Tldr личные бренд > чем ты умный, так было у e girl и видимо рынок инженеров становится чем то подобным. Все знают Андрея Карпаты, но никто не знает head of Ai waymo (Драгомир Ангуелов)
Tldr личные бренд > чем ты умный, так было у e girl и видимо рынок инженеров становится чем то подобным. Все знают Андрея Карпаты, но никто не знает head of Ai waymo (Драгомир Ангуелов)
♡ alexine
The engineer to OF girlie pipeline
I like that we’re now asking engineers to solve marketing too. After all that talk about product-market fit, the person building the product now needs an audience of their own. Getting it to work was only part of the job. You also need to make people care…
😁36🥴8👍4💯4🔥2😍2💊2
Агенты уходят к тем, кто не отказывает.
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом. А Промокод LDT, для моих подписчиков даёт 2$ на тесты.
rawmodels.ai
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом. А Промокод LDT, для моих подписчиков даёт 2$ на тесты.
rawmodels.ai
😁123🔥15
Forwarded from
# RoaM теперь открытая RPG и software factory
Недавно я показывал вам RoaM: мою маленькую игру по мотивам Ex Machina и Космических Рейнджеров, где можно водить буханку с огромной турелью по пост-апокалиптической пустоши, торговать, грабить корованы и многое другое. Мне не хотелось её забрасывать, но и становиться геймдевом я не готов. Я придумал выход — давайте вайбкодить её вместе!
Это было моей обсессией в последнее время: превратить игру в фабрику софта. Помните как в детстве, играешь в игру и появляется мысль: а вот круто бы, чтобы можно было ... ? Наконец, благодаря агентам, можно построить игру и систему, где подобные хотелки быстро превращаются в фичи в игре.
Суть такова:
1. Играете в игру
2. Если видите баг или хотите что-то добавить, нажимаете кнопку в левом верхнем углу и попадаете на Github. Описываете желаемое в новой Issue.
3. Если достаточно людей лайкают вашу идею, агенты берут её в работу и автономно создают.
4. Билд с вашей фичой попадает на одобрение в чат модераторов.
5. Если они её принимают, то билд с фичой выкатывается на доступный всем экспериментальный /dev, где её могут попробовать все.
6. Со следующим релизом ваша идея попадает в основную игру.
В таком режиме фабрика уже сделала больше ста задач и два релиза. Так в игре появились текстовые квесты в стиле наших любимых Рейнджеров, обновление графики, система частиц и клевые спецэффекты, новые модели для всех локаций, гораздо более сбалансированная боёвка, новый рогалик-режимДороги Ярости Шоссе Хаоса, возможность купить себе Ниву и невероятное количество фиксов.
Мне это очень интересно как социальный эксперимент и как надежда вместе сделать RPG мечты. Игра ещё очень сырая и мне нужно ваше участие, чтобы сделать из неё нечто крутое. Присоединяйтесь! Кооперативный краудсорс вайбкодинг.
В этом канале можно следить за обновлениями игры: https://xn--r1a.website/roam_game_dispatch
Чат для обсуждений: https://xn--r1a.website/+hJ5GxtGk_VE0MTg6
Код игры и фабрики открыт и доступен здесь: https://github.com/ROAM-game-org/road-machiners
А тут можно поиграть в новый релиз:
https://btseytlin.itch.io/road-machiners
Недавно я показывал вам RoaM: мою маленькую игру по мотивам Ex Machina и Космических Рейнджеров, где можно водить буханку с огромной турелью по пост-апокалиптической пустоши, торговать, грабить корованы и многое другое. Мне не хотелось её забрасывать, но и становиться геймдевом я не готов. Я придумал выход — давайте вайбкодить её вместе!
Это было моей обсессией в последнее время: превратить игру в фабрику софта. Помните как в детстве, играешь в игру и появляется мысль: а вот круто бы, чтобы можно было ... ? Наконец, благодаря агентам, можно построить игру и систему, где подобные хотелки быстро превращаются в фичи в игре.
Суть такова:
1. Играете в игру
2. Если видите баг или хотите что-то добавить, нажимаете кнопку в левом верхнем углу и попадаете на Github. Описываете желаемое в новой Issue.
3. Если достаточно людей лайкают вашу идею, агенты берут её в работу и автономно создают.
4. Билд с вашей фичой попадает на одобрение в чат модераторов.
5. Если они её принимают, то билд с фичой выкатывается на доступный всем экспериментальный /dev, где её могут попробовать все.
6. Со следующим релизом ваша идея попадает в основную игру.
В таком режиме фабрика уже сделала больше ста задач и два релиза. Так в игре появились текстовые квесты в стиле наших любимых Рейнджеров, обновление графики, система частиц и клевые спецэффекты, новые модели для всех локаций, гораздо более сбалансированная боёвка, новый рогалик-режим
Мне это очень интересно как социальный эксперимент и как надежда вместе сделать RPG мечты. Игра ещё очень сырая и мне нужно ваше участие, чтобы сделать из неё нечто крутое. Присоединяйтесь! Кооперативный краудсорс вайбкодинг.
В этом канале можно следить за обновлениями игры: https://xn--r1a.website/roam_game_dispatch
Чат для обсуждений: https://xn--r1a.website/+hJ5GxtGk_VE0MTg6
Код игры и фабрики открыт и доступен здесь: https://github.com/ROAM-game-org/road-machiners
А тут можно поиграть в новый релиз:
https://btseytlin.itch.io/road-machiners
Сид Студио делает отличные esp с wifi к слову...
https://x.com/OpenAINewsroom/status/2110095403198849132?s=20
https://x.com/OpenAINewsroom/status/2110095403198849132?s=20
😁60💯4👍2🔥2
Forwarded from
Полисемантичность всё?
Авторисёрч забил последний гвоздь в гроб SAE. Нейроны уже распутаны, мы просто не под тем углом смотрели, и руки у мясных исследователей кривые в отличие от агентов.
https://already-clean.goodfire.com/
Авторисёрч забил последний гвоздь в гроб SAE. Нейроны уже распутаны, мы просто не под тем углом смотрели, и руки у мясных исследователей кривые в отличие от агентов.
https://already-clean.goodfire.com/
Goodfire
Neural Networks Are Already Clean
A working hypothesis about neurons, generalization, and the ecology of circuits.
😨56🔥22👏4🥱4👍1🙉1
Forwarded from
Из сессий с агентами получаются готовые evals
Каждый раз, когда выбираю сетап для кодового агента, я немного гадаю. Лучше ли эта новая модель? Помогает ли больше reasoning? Помогают ли эти скиллы?
Поэтому из ~1270 своих сессий в Claude Code, Codex и Pi я собрал 10 задач с автоматической проверкой и прогнал на них разные сетапы. Сделал пару публикаций про это, у меня спросили про то, как такое сделать самим. Поэтому вот!
Написал гайд + скилл, который делает большую часть работы
📊 Гайд: https://teletype.in/@ibragim_bad/fm5jSJvYb_5
🛠 Скилл: https://github.com/ibragim-bad/evals-from-sessions
🏆 Лидерборд: https://ibragim.dev/leaderboard/
оригинал в X: https://x.com/ibragim_bad/status/2111102467924496721?s=20
Каждый раз, когда выбираю сетап для кодового агента, я немного гадаю. Лучше ли эта новая модель? Помогает ли больше reasoning? Помогают ли эти скиллы?
Поэтому из ~1270 своих сессий в Claude Code, Codex и Pi я собрал 10 задач с автоматической проверкой и прогнал на них разные сетапы. Сделал пару публикаций про это, у меня спросили про то, как такое сделать самим. Поэтому вот!
Написал гайд + скилл, который делает большую часть работы
📊 Гайд: https://teletype.in/@ibragim_bad/fm5jSJvYb_5
🛠 Скилл: https://github.com/ibragim-bad/evals-from-sessions
🏆 Лидерборд: https://ibragim.dev/leaderboard/
оригинал в X: https://x.com/ibragim_bad/status/2111102467924496721?s=20
👍31🔥10🤔3
я ненавижу нейрослоп.
мне кажется что все ненавидят, но еще больше чем нейрослоп я не люблю(и не умею) писать тексты руками, поэтому что я делаю? RLAIFю модель писать не нейрослопные тексты!
Это qwen 27b, ревард от калиброванного на human против не ai текстах, с рубриками и оценкой качества. Он не просел на terminal bench и прочих
Короче это qwen3.8 который пишет короче, бесит меньше и может проходить проверяющие на слоп системы
А еще чуваки выложили enviroment на hf со скорами и текстами
Моделька
Поддержать в твитере
gguf
мне кажется что все ненавидят, но еще больше чем нейрослоп я не люблю(и не умею) писать тексты руками, поэтому что я делаю? RLAIFю модель писать не нейрослопные тексты!
Это qwen 27b, ревард от калиброванного на human против не ai текстах, с рубриками и оценкой качества. Он не просел на terminal bench и прочих
Короче это qwen3.8 который пишет короче, бесит меньше и может проходить проверяющие на слоп системы
А еще чуваки выложили enviroment на hf со скорами и текстами
Моделька
Поддержать в твитере
gguf
🔥126
1) сейфти очень сложно продавать если никто не понимает смысла(soc2 обратный пример)
2) лучший сейфти делают люди у которых есть реальные технологии и которые делают полезное
3) земля стекловатой Ai monitoring startups, хотя все равно open filantropy докинут и я продолжу играть в бинго при чтении appolo Ai статей
https://x.com/openrouter/status/2110838205654470840?s=46
2) лучший сейфти делают люди у которых есть реальные технологии и которые делают полезное
3) земля стекловатой Ai monitoring startups, хотя все равно open filantropy докинут и я продолжу играть в бинго при чтении appolo Ai статей
https://x.com/openrouter/status/2110838205654470840?s=46
X (formerly Twitter)
OpenRouter (@OpenRouter) on X
Today, we are launching OpenRouter Armor in beta.
Tool calls allow agents to interact with the world, and regex-based filtering often isn't enough to detect unwanted tool calls.
Armor uses @type…
Tool calls allow agents to interact with the world, and regex-based filtering often isn't enough to detect unwanted tool calls.
Armor uses @type…
This media is not supported in your browser
VIEW IN TELEGRAM
MLP
Лет 7 назад в вк был попуряный проект sweetybot - робота на ROS и тд,
а ща это все заброшено, 10 раз устарело и в целом все какое то не модное, я скормил все это кодексу и он за несколько часов и 10% 200 евровой подписки сделал эээ ЭТО
Оно с нуля собрано, перенесено в mujuco и даже "как то" ходит.
Если тут есть настоящие robotics инженеры посмотрите сюда и скажите - оно вообще может работать в теории
поддержать в твитере
Лет 7 назад в вк был попуряный проект sweetybot - робота на ROS и тд,
а ща это все заброшено, 10 раз устарело и в целом все какое то не модное, я скормил все это кодексу и он за несколько часов и 10% 200 евровой подписки сделал эээ ЭТО
Оно с нуля собрано, перенесено в mujuco и даже "как то" ходит.
Если тут есть настоящие robotics инженеры посмотрите сюда и скажите - оно вообще может работать в теории
поддержать в твитере
👍23🔥11🤡9🦄4
Агенты уходят к тем, кто не отказывает.
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом.
А добавление карты дает 1usd бонуса.
rawmodels.ai
GLM-5.3 Raw: анцензнутый, 1M контекста, tool calling, API совместим с вашим любимым агентом.
А добавление карты дает 1usd бонуса.
rawmodels.ai
🤡112👍30😁10
Forwarded from
> be корпорации
> заменяем людей на эйай агентов
> косты -50%, акционеры кайфуют 📈
> уволенные идут на завод и в доставку
> зарплаты там падают
> никто не покупает наши услуги т.к денег нет у людей
> выручка падает
> увольняем ещё!!
> покупают ещё меньше
> агенты пашут 24/7 и жрут бабос
> бабос уходит трём челам с дата-центрами
> эти челы не купят 10 млн наших сикс севен сервис подписок
> каждый из нас действовал рационально
> но оказалось что есть НЮАНС
1