Линейное программирование может работать с мультивселенными.

Когда люди планируют какие-либо работы, все думают (что смешно, включая самих планировщиков), что планируется один конкретный план.
На самом деле планируется сразу множество вариантов с учетом рисков. Прямо как доктор Стрэднж :))
Математики оптимизаторы этого не осознают и обычно планируют только один вариант. А на самом деле оказывается, что планировать мультиреальность не так уж и сложно. Расскажу один пример из жизни.

Мы писали планирование для одной авиакомпании бизнесджетов.
Бизнес джеты как такси - большая часть заказов делается за 1-2 дня, а то и в последний момент. Пилоты в свой рабочий день приезжают в аэропорт и сидят ждут заказа - в резерве.
Наша задача была планировать резервы - то есть когда пилоты работают, а когда отдыхают.
По европейским законам пилот не имеет права летать больше 7 дней подряд и 8 летать уже нельзя.
Если есть скажем 5 самолетов и экипажей, то не каждый день заказывается по 5 самолетов. В результате в некоторые дни пилоты не летает и отдыхает.
Если не пользоваться этим обстоятельством и заранее планировать дни отдыха, то мы используем пилотов менее эффективно.
И дни пропуска нам нужны. Но мы их не знаем заранее.
Мы ввели переменную - возможный выходной, написали на нее несколько ограничений.

Он случается с вероятностью 25% . Алгоритм раздавал по 1 возможному выходному каждый день, который соответствовал 0.25 нормального выходного. И у каждого пилота в каждые 8 дней подряд должен был случиться либо настоящий выходной либо 4 возможных выходных.
Во втором случае в расписании у пилота было запланировано 4 возможных дырочки. И в одну с высокой вероятностью выходной попадал.

При этом эти четвертинки отдыха сами раскладывались по пилотам и закрывали самых загруженных.
Если же в реальности такой выходной не случался, то тоже ничего страшного. Наоборот - это отличная ситуация для компании, когда самолеты не простаивают. Просто в один день заказывался подменный пилот, а основной уходил на отдых.

Математики делятся на две категории - медвежатники и буратины.

Медвежатник решает задачу как взламывают сейфы. Попробует тут покрутить, стукнуть тут, залить сюда кислоты, попробовать прожечь сваркой и т.п.
Буратино же добыл золотой ключ, а дальше бегает и пробует вставить его во все дырочки.

Со стартапами и бизнесом та же аналогия работает. Часто люди мыслят по медвежачьи, когда у них в руке есть золотой ключик.
В бизнесе должна быть ровно одна ключевая идея, вокруг которой все строится. Любая дополнительная идея просто сужает размер рынка.
Но нужно уметь эту идею применять в разных случаях.

Узнал вчера про так называемое "заблуждение париков". Люди думают, что все парики выглядят плохо, потому что они не замечают хорошие парики.

ИИ продолжает быстро прогрессировать. ИИ уже стал доказывать математические теоремы.
Улучшил умножение матриц 4x4.
Даже в kissing number problem сделал улучшение.

https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/

Заказчик спрашивает, когда будут поправлены все ошибки в программе. 🤣 Интересно, что отвечать на такой вопрос. Напоминает задачку из школьного учебника. Докажите что у квадрата больше всего свойств.
Можно пытаться объяснить что ошибки имманентны. По крайней мере тебе важны сроки и деньги, и ты используешь системы автоматического доказательства корректности работы программы.
Но во первых не понятно, во вторых заказчик же хочет просто чтобы ему было хорошо. Но как ответить, чтобы ответ не был похож на продажу души в вечное рабство ? :)))

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

Не всегда правда работает моментально, иногда тормозит. И принты надо чуть чуть подчистить, а то иногда задумывается и не ясно что делает. Но пока максимум 2-5 минут приходится ждать а потом видно что делом занята библиотечку.

Всем привет! Интересно узнать, кто и как в программировании использует ИИ уже сейчас.
В июне буду выступать с докладом про перспективы ПО с учетом ИИ, хочу статистику привести. Да и просто интересно.
https://docs.google.com/forms/d/e/1FAIpQLSdDbc2hf4A_DH_eRCKMuJIuaVwX2iF6CR-KNFlWF9tGZgAC6A/viewform?usp=dialog

Я сейчас на форуме время цифры. Если кто тут есть - давайте пообщаемся.

Неожиданно вручили вчера премию за проект DeepWhale как лучший AI-стартап в номинации архитектура и проектирование. :) Фотку попозже выложу.

В чем сила ИИ, брат?

Общался тут со старым заказчиком на новую тему. И возник вопрос. Вот есть специалисты, которые уже классно работают. И если ИИ (в широком смысле: алгоритмы, ML, ну и LLM) может лучше, то это надо обосновать. А если люди в чем-то лучше, то надо понять, что в целом человек делает лучше ИИ. Я сформулировал мысль:

ИИ широкий, а человек глубокий.

Человек имеет опыт, может учитывать кучу факторов, в том числе не оцифрованных, которых просто нет у алгоритма. ИИ в этом смысле поверхностный, но зато может ворочать большими объёмами данных. Например, если в фирме 10 продажников и у каждого есть свое направление, то они будут отлично разбираться в своем направлении, но их восприятие будет фрагментированным. А ИИ может молотить сразу все данные. Например, можно делать гипотезы и проверять их сразу на всем объёме продаж.

Не успел доделать алгоритм а коллеги уже его продают. 😁

Сформулировал при работе с заказчиками правило.

Корректное ТЗ может содержать максимум одно абсолютное слово типа всегда/никогда.

Иначе обязательно возникнет коллизия в стиле всесокрушающий меч против абсолютно непробиваемой брони.

Из разговоров с заказчиком.
- Фундамент бывает свайный, ленточный и плита.
- А понял: нульмерный, одномерный и двумерный!