RU

Можно ли научить маленькую LLM учиться без роста весов? Продолжение: почему повторное обучение упёрлось в потолок

В первой статье я показал несколько опытов с небольшой моделью (её размер влезает в обычную домашнюю видеокарту) вокруг одного вопроса: может ли так…

llmcontinual learningloraдистилляциямашинное обучениеэкспериментыверификацияnatural language processing
Habr
RU

Как я перестал верить нейросети и полюбил контрольные разряды: Zero-Trust для распознавания юридических документов

Покажите VLM скан исполнительного листа — и она уверенно вернёт реквизиты. Формат будет идеальным, тон — безупречным. Одна беда: среди реквизитов с…

LLMVLMгаллюцинацииверификацияOCRИННФССП1СZero-TrustPython
Habr
RU

[Перевод] Строим продвинутый каркас для ИИ-агента

В основе базового agentic harness — простой цикл: LLM получает задачу, выбирает и вызывает инструмент, результат возвращается в контекст, после чего…

harness engineeringllmии-агентыdagоркестрацияtool callingверификацияpydanticpythonasyncio
Habr
RU

СМС за 45 рублей: как операторы придумали налог на стартапы и почему мы больше не будем его платить

Мы посчитали, во что это выливается растущему стартапу отправка авторизационных SMS, прошлись по всей хронике повышений 2024–2026, сравнили оператор…

smsверификацияаутентификацияавторизацияподтверждение номерастартапыtelegrammaxwhatsappмессенджеры
Habr
RU

5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit-state model checking

Редукция по симметрии и редукция частичных порядков описаны в литературе десятилетиями, но их эффект обычно приводят либо асимптотически, либо на од…

model checkingверификацияpartial order reductionsymmetry reductionample setsпространство состоянийформальные методытемпоральная логикаTypeScriptRaft
Habr
RU

Одна DRC-дека, три техпроцесса и двенадцать неверных гипотез

Мы были уверены, что наш DRC-движок универсален. На SKY130 он совпадал с эталонным KLayout до последнего нарушения: тесты зелёные, расхождения нулев…

DRCEDAверификацияRustKLayoutпроектирование микросхемтопологиятестированиеSKY130design rule check
Habr
RU

ChatGPT теперь требует селфи с паспортом: как OpenAI и Anthropic внедряют KYC и убивают анонимность в ИИ

Эпоха, когда лучшие в мире ИИ-инструменты были «общественным благом для свободного пользования», стремительно заканчивается. Им на смену приходит же…

chatgptopenaianthropicclaudekycверификацияанонимностьllmapiнейросети