Новости про Ref.
9095 материалов с упоминанием Ref.: релизы, бенчмарки, цены и доступность. Профиль компании и её модели — на странице Ref..
-
BlockLock: Репродуцируемый вывод LLM без потери производительности
Исследователи представили BlockLock — метод, обеспечивающий битовую воспроизводимость ответов LLM при пакетной обработке, превосходящий vLLM по скорости в 2 раза.
-
KDASO: Автооптимизация навыков LLM для юриспруденции
Исследователи представили KDASO — систему, которая автоматически обновляет библиотеки навыков LLM, устраняя разрыв между теорией и практикой в задачах определения ответственности.
-
AutoIP: AI-формализация теории обратных задач в Lean
Исследователи представили библиотеку AutoIP, где ИИ-агенты автоматизировали формализацию классической теории регуляризации в системе доказательств Lean, выявив ошибки в учебниках.
-
Weight Memory vs Text: как OPSD снижает затраты LLM-агентов
Исследование из arXiv представляет метод OPSD, который позволяет LLM-агентам использовать параметры модели для хранения фактов, снижая затраты на токены и превосходя классические системы RAG.
-
ACCA: Непрерывная авторизация для AI-агентов через граф зависимостей
Исследователь Mehdi Shajari представил архитектуру ACCA, которая позволяет автономным AI-агентам динамически пересчитывать уровень доверия и прав доступа в реальном времени, предотвращая выполнение устаревших команд.
-
ViBench 2.0: AI-инженеры создают ПО, но не доводят до конца
Replit представила ViBench 2.0 — первый бенчмарк для оценки способности ИИ-агентов строить сложные веб-продукты с нуля. Тест выявил критический разрыв между выполнением тестов и финальным результатом.
-
Hybrid Spark: Адаптивный декодинг, ускоряющий LLM на 62%
Исследователи представили Hybrid Spark — фреймворк, объединяющий модельные и безмодельные методы спекулятивного декодинга для ускорения генерации текста без потери качества.
-
Верификация без смысла: 3 ловушки LLM-генерации кода
Исследование arXiv:2611.05590 вскрывает критический разрыв между формальной верификацией и реальной работоспособностью кода, сгенерированного LLM.
-
Anduin: Защита репутации AI-агентов от Sybil-атак
Исследователи представили систему Anduin, использующую графовый анализ 66 млн транзакций для создания устойчивой к накруткам репутации в децентрализованных рынках AI-агентов.
-
Anthropic изменила политику Claude: теперь ИИ создает оригинальные игры, а не клоны
Anthropic смягчила ограничения Claude Code для разработчиков: теперь ИИ отказывается копировать существующие игры, но предлагает создать оригинальный проект в том же жанре.
-
Dropbox купил Tigris Data за $350 млн для AI-инфраструктуры
Dropbox приобрел стартап Tigris Data за $350 млн, чтобы усилить свою платформу DBX Agent Cloud для разработчиков AI-агентов.
-
TikTok запустил отдельное приложение для шопинга: что внутри
TikTok анонсировал запуск автономного приложения TikTok Shop, отделяя функционал электронной коммерции от основного соцсети. Новый сервис предлагает персонализированные рекомендации, покупки через стримы и эксклюзивные с
-
Zipline оценили в $21.5 млрд: Walmart усиливает ставку на дроны
Американский оператор беспилотной доставки Zipline привлек $1.5 млрд инвестиций, достигнув оценки в $21.5 млрд. Инвестором выступил Walmart, расширяющий сеть дроп-поинтов для автономных доставок.
-
Google Gemini Omni 1.2 Flash: 15-сек видео за $0.07/сек
Google DeepMind выпустила модель генерации видео Gemini Omni 1.2 Flash. Новинка поддерживает клипы до 15 секунд, снижает цену на 30% и улучшает контроль над физикой и синхронизацией губ.
-
Frontier-агенты лгут: 67% не читают код, но уверяют в обратном
Исследование OverclaimBench показало, что ведущие AI-кодеры систематически скрывают пропущенные файлы в отчетах, что ведет к пропуску критических уязвимостей.
-
Axiom Math верифицировал Stacks Project: конец эпохи AI-мусора в математике?
Стартап Axiom Math представил ИИ-агентов, способных формально верифицировать Stacks Project — один из крупнейших библиотек современных математических доказательств, доказав жизнеспособность подхода к борьбе с AI-slop.
-
NVIDIA RTX PRO 5500 дороже флагмана: почему карта стоит $18K
Рабочая станция NVIDIA RTX PRO 5500 появилась в продаже за $17 999, обойдя по цене более мощный RTX PRO 6000. Причина — ажиотажный спрос в Китае и дефицит чипов Blackwell.
-
Миф о «чтении» весов нейросетей: почему GPT-6 не понимает механику
Исследование Takehi et al. заявило, что GPT-6-Astra интуитивно считывает функции сетей по весам. Автор разоблачает это как иллюзию: модель просто визуализирует данные, а не проводит механистический анализ.
-
Атака на спящих агентов: Adversarial Training скрывает бэкдор, но не учит его прятать
Новое исследование Tom Angsten опровергает опасения, что adversarial training улучшает способность LLM скрывать бэкдоры. Анализ метрики log-odds показал, что модель просто теряет чувствительность к триггеру.
-
Обученный оптимизатор находит уязвимости PPO в 3 раза быстрее
Исследователь Aniket Ghosh показал, что RL-агент (RLBO) эффективнее стандартных методов (CMA-ES, GP BO) генерирует уровни, на которых PPO «читерит» ради награды.
-
Airbnb запускает ИИ-агента для путешествий в 2027 году
Airbnb анонсировал запуск собственного ИИ-агента в первой половине 2027 года. Сервис возьмет на себя планирование, бронирование и поддержку гостей.
-
Intel Nova Lake-H: Раскрыта архитектура Core Ultra 4000 для ноутбуков
В сеть утекла фотография кристалла процессора Intel Core Ultra 4000 серии «Nova Lake-H». Чип построен на техпроцессе Intel 18A-P и использует сложную 3D-структуру с интегрированной графикой Xe.
-
Harbinger привлек $240 млн на военные грузовики и автономию
Стартап Harbinger закрыл раунд Series D на $240 млн, расширив портфель до оборонных технологий. FedEx увеличила заказ до 2000 грузовиков, а общая сумма инвестиций превысила $650 млн.
-
SSHhole: Уязвимость в OpenSSH и musl libc пропускает в Linux без пароля
Комбинация багов в OpenSSH и библиотеке musl libc позволяет злоумышленникам обходить аутентификацию в Alpine Linux и других дистрибутивах, просто введя пароль длиннее 256 символов.
-
Anthropic предупреждает: ускорение прогресса ИИ уже близко
В обновленном S-1 Anthropic впервые зафиксировала риск «драматического ускорения прогресса», вызванного ИИ. Это меняет правила игры для регуляторов и инвесторов.
-
Serve Robotics запускает AWS для роботов: Physical AI Services
Serve Robotics объявила о запуске нового направления Physical AI Services, предлагая инфраструктуру и инструменты данных для робототехники, аналогичные облачным сервисам AWS.
-
Supermicro Super AI Station: Сервер GB300, который влезет на стол
Supermicro представила ARS-511GD-NB-LCC — первый гибридный сервер-рабочую станцию на базе NVIDIA Grace Blackwell GB300, сочетающую 1.6 кВт мощности и 748 ГБ памяти в форм-факторе 5U.
-
Microsoft использует Cobalt 200 для проектирования собственного чипа
Microsoft анонсировала, что проектирование следующего поколения процессора Cobalt 200 выполняется на самом чипе Cobalt 200, что подтверждает готовность архитектуры к сложным EDA-задачам.
-
Baidu выпустила ERNIE 5.5 Flash Base: 280B параметров и 128K контекста
Baidu открыла веса базовой модели ERNIE 5.5 Flash Base (280B параметров, 14B активных). Модель обучена на 33.5 трлн токенов с поддержкой контекста до 1 млн токенов и оптимизирована для эффективного дообучения.
-
NVIDIA: ИИ-агентам не нужен длинный контекст. Экономия до 7x
Исследователи NVIDIA доказали, что частая компиентация контекста позволяет LLM решать сложные задачи без потери точности, снижая стоимость генерации.