Иногда самые любопытные вещи в ИИ проходят почти бесшумно не потому, что идея слабая, а потому что запуск слишком ранний, нишевый или просто не умеет собирать шум. Ниже — шесть таких находок: у каждой очень скромный сигнал внимания, но у каждой есть понятная ставка на реальную проблему, а не на очередную витрину вокруг моделей.

Forall — агент, который пытается не только писать код, но и доказывать его корректность

Forall выглядит амбициознее обычного помощника для программирования. Проект делает ставку на код вместе с машинно проверяемыми доказательствами корректности и уже заявляет раннюю поддержку Lean, Dafny и других языков, где такие проверки вообще имеют смысл. Если эта идея взлетит хотя бы в узких инженерных нишах, это будет важный сдвиг: не ещё один генератор фрагментов, а попытка приблизить ИИ к коду, который можно проверять формально, а не только глазами и тестами.

Почему это заслуживает больше внимания: рынок переполнен инструментами, которые обещают «писать код быстрее», но почти никто не идёт в более сложную и ценную сторону — снижать стоимость доказательства правильности. А ведь именно там лежит настоящая боль для систем, где ошибка дорогая.

Сигнал недооценённости: у треда Show HN было всего 6 баллов и 0 комментариев.

Источник: GitHub

Perseus Vault — память для агентов, сделанная не по образцу заметочника

Perseus Vault интересен не просто как ещё одно хранилище заметок, а как попытка отдельно спроектировать память под нужды агентов. Авторы говорят о гибридном поиске, взвешивании важности, забывании устаревшего, снятии дублей и других вещах, без которых долговременная память быстро превращается в свалку контекста. Это хорошая ставка на слой, который пока часто недооценивают: все хотят умнее модель, но мало кто всерьёз проектирует, что именно агент должен помнить, забывать и поднимать обратно.

Почему это заслуживает больше внимания: если у агентных систем и появится настоящая долговременная устойчивость, она придёт не из красивого интерфейса, а из скучной инженерии памяти. Perseus хотя бы пытается обсуждать этот слой предметно, а не на уровне общих слов.

Сигнал недооценённости: у треда Show HN был лишь 1 балл и 0 комментариев.

Источник: perseus.observer

Generalized — каталог навыков для агентов с попыткой добавить подтверждение качества

Generalized строит что-то вроде каталога и канала распространения навыков для агентов: не просто список подсказок, а слой, где навык можно показать, установить и как-то подтвердить его полезность. Идея кажется своевременной: агентная экосистема быстро расползается на маленькие инструкции, модули и «умения», но почти нигде нет нормальной среды, где они становятся переиспользуемыми и сравнимыми.

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

Сигнал недооценённости: у треда Show HN было 2 балла и 0 комментариев, а многие навыки на самом сайте всё ещё сидели на 0 установок и 0–1 отметке интереса.

Источник: generalized.dev

Pluto — голосовое интервью вместо ещё одной охоты за ключевыми словами в резюме

Pluto пытается переосмыслить карьерный поиск не как игру в ключевые слова, а как задачу восстановления человеческого контекста. Вместо того чтобы заставлять кандидата бесконечно переписывать профиль, сервис проводит короткое голосовое интервью, а затем помогает компаниям и другим ИИ-системам понять человека глубже, чем по сухому резюме. Идея не звучит громко, но в мире, где почти все сервисы найма становятся одинаковыми воронками, такой поворот выглядит вполне осмысленно.

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

Сигнал недооценённости: на Launch YC у проекта было всего 8 голосов, хотя сам сервис уже заявлял более 18 тысяч профессионалов и свыше 100 компаний среди пользователей.

Источник: Y Combinator Launches

Whitespace — агентная операционная прослойка для скучного, но огромного мира оптовой дистрибуции

Whitespace идёт не в переполненные рынки вокруг контента или программирования, а в оптовую дистрибуцию — отрасль, где много разрозненных знаний, ручных операций и тяжёлой внутренней координации. Ставка здесь не на эффектную демонстрацию, а на то, что агенты могут приносить реальную пользу там, где повседневная работа до сих пор держится на письмах, таблицах и памяти конкретных сотрудников.

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

Сигнал недооценённости: на Launch YC у проекта было только 5 голосов.

Источник: Y Combinator Launches

LocalAgent-LLM — почти незаметная попытка собрать полноценного локального помощника, а не учебный пример

LocalAgent-LLM интересен не тем, что делает ещё одного локального помощника, а тем, что пытается собрать вокруг локальных моделей более полный рабочий контур: интерфейс, серверную часть, базу данных и сценарии для задач и программирования. Таких попыток много, но большинство останавливается на маленьком опыте или наборе скриптов. Здесь ставка чуть серьёзнее: приблизить локальный сценарий к ощущению законченного продукта.

Почему это заслуживает больше внимания: спрос на приватные и автономные инструменты никуда не денется, а локальная инфраструктура для агентов всё ещё выглядит сырой и разрозненной. Даже если именно этот проект не выстрелит, направление у него правильное.

Сигнал недооценённости: у репозитория было всего 2 звезды и 1 форк.

Источник: GitHub

Во всех шести случаях важен один общий мотив: самые интересные идеи сейчас нередко живут не там, где уже собрались лайки и большие треды, а в ранних, тихих запусках с узкой, но настоящей ставкой на проблему. Именно такие вещи чаще всего стоит сохранять в закладки до того, как о них начнут говорить все.