TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #1908 866
Не знал, что, оказывается, Computer Vision расшифровывается как "компьютерное самонаведение". Век живи век учись всё равно дураком помрёшь.

"...Как пояснил "Ъ" руководитель CV-направления (от английского computer vision — «компьютерное самонаведение») одного из российских конструкторских бюро БПЛА, основная сложность в этой работе связана с тем, что ни одна компания в мире еще не разработала электронные компоненты, способные раскрыть весь потенциал ИИ в беспилотной авиации.
..."Современные робототехнические печатные платы пока не готовы тянуть подобные ChatGPT-модели ИИ из-за своей архитектуры", -- сетует разработчик."


Ну, если выбрано исходно архитектурно-тупиковое направление -- делать через ЖПТ, то это просто естественное следствие из причины. А что, перед началом работ ожидалось получить что-то другое?

Как правильно? Сильные решения всегда контр-интуитивны. Я подробно рассказывал в контексте гомотопической теории, какая может быть архитектура для мега-роя: каждый беспилотник представляется в математической модели как достаточно простой автомат, для чего достаточно простейшего восьмибитного чипа, выковыренного из пылесоса. Только формальная логика, вообще никаких нагрузочных вычислений.

Такая задачка, как управление мегароем небольших дронов (размером с птицу). Сегодня мы видим сотни дронов, скоро счёт пойдёт на тысячи, в следующем десятилетии и на миллионы; ну в конечном итоге так-то точно и будет когда-нибудь.Засада в том, что такой миллион летающих роботов должен действовать как единый организм...
Каждый дрон представляем как
локальный автомат состояний (подлёт к цели, поиск объектов, обмен информацией с соседями, уклонение от препятствий, поддержание строя, аварийный режим, возврат на базу...). Решения принимаются на основе локальной информации (что видят сенсоры дрона и что сообщают ближайшие соседи). Но такие локальные решения должны приводить к глобально разумному поведению...
Стратегические решения мгновенно телепортируются по всему рою. Если одна группа дронов обнаружила эффективную тактику, она немедленно становится доступной всем гомотопически эквивалентным группам...
Поведение роя моделируем как ∞-категорию, в категорной семантике, с поддержкой композиционного масштабирования (управление подроем автоматически композируется в управление всем мегароем через функториальность)...
Вероятность победы HoTT-роя: 85-90%. Это не магия, а результат математически качественно лучшей архитектуры...

А всего-то делов было -- задонатить хотя бы миллиард рублей пацанам из МИАН. Если там конечно ещё кто-то остался из профильных математиков-топологов...
/ и если математики вообще возьмутся за такую темку.

Может, и правда сделать такую "РойOS" на гомотопических стероидах? И выложить в опенсорс. Всё равно ведь кто-то сделает поздно или рано.
  • ❤ 35
  • 🏆 16
  • ✍ 15
  • ❤‍🔥 4
  • 😁 3
More from @lambda_brain
  1. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  2. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  3. Sep 30, 2026Ну, с Днём Рунета! Многие годы Рунет был эталонным примером свободы, а сегодня превратился…
  4. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  5. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  6. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →