Владимир Иванов

Вообще-то у нас рост, в такой наивной логике фондовый рынок России не в полной #$%^, а лучше Китая. Реальная причина коррекции компаний КНР на деле связана не с LLM и что вокруг этой темы, а с компаниями связанными с ИИ робототехникой типа Unitree и их аналогов. Просто инвесторам надоело смотреть на "танцы роботов". Если вендоры LLM уже продают ценную продукцию для агентов, то вендоры гуманоидов пока не могут сделать...

— правильно, как минимум по обоснованному review от фронтирных LLM и просто по факту того, что не только ничего не рухнуло, а лазерное измерение деформаций конструкции указывает на их незначительность ниже оценок человека. Вопрос в том, что сей кейс показывает: вообще-то у «кожаных» такая же проблема, как и у ИИ — дрейф от требований. Поскольку формального полного комплекта ПСД у конструктора не было, он стал вводить в своё ПО лишь часть данных и «как понял». Вот тут на вводе данных он и ошибся — не опечатками, а именно упущением разных мелких деталей конструкции, которых не ввёл в расчёт...

элементов, вызывал бурную дискуссию в чате. Я наложил формальную методику верификации алгоритмов из своего нового варианта GRACE, после чего мне стало понятно и где конструктор ошибся, и что расчёты ИИ намного надёжнее, чем я думал, т.к. они не отталкиваются просто от физики сопромата, а, как я сначала подумал, чётко сидят как раз на нормах (СНиПах). Кейс ещё хороший тем, что позволяет посмотреть методику «доказательного тестирования» (Evidence Based Testing, EBT) в деле, а также как в Log Driven...