Оновлюється щодня1879 перевірені історії

Новини AI. Без шуму.

Перевірений джерелом штучний інтелект висвітлює випуск продуктів, зміни в політиці, дослідження безпеки та зміни в галузі, пояснені простою англійською мовою некомерційною освітньою командою.

Щотижневий брифінгУсі тематичні центри

Архів новин

Архів новин AI — Сторінка 157

Історії про штучний інтелект, перевірені джерелами, спочатку найновіші, для людей, яким потрібно розуміти штучний інтелект, не ганяючись за рекламою.

Source-provided image accompanying PROVE-RT Paper Reports 44.7% Success Generating Machine-Checked Real-Time ProofsГоловна історіяІнновація7 min читати

PROVE-RT Paper звітує про 44,7% успішності створення перевірених машиною доказів у реальному часі

Препринт arXiv представляє PROVE-RT, який використовує пошук і поетапні підказки, щоб змусити великі мовні моделі писати перевірочні сценарії PROSA/ROCQ для аналізу планування в реальному часі. Автори повідомляють про 44,7% успіху підібраного набору оцінок, де прямі підказки не можуть надійно створити дійсну механізацію.Прочитайте історіюПеревірене джерело: arxiv.org

Перевірене джерело

Кожна історія пов’язана з найвагомішими наявними доказами: оригінальними джерелами, якщо вони доступні, в іншому випадку чітко зазначеними повідомленнями.

Звичайна англійська

Що сталося, чому це важливо та що дивитися — без жаргону.

Без наповнювача

Коли сигнал слабкий, ми нічого не публікуємо, а лише доповнюємо канал.

Більше історій

4 історії
  1. ІнноваціяІнновація6 min читати

    AutoWorldModel-Bench перевіряє, чи можуть агенти кодування покращити світові моделі

    Новий препринт arXiv представляє еталон для оцінки агентів кодування як відкритих дослідників світової моделі у восьми ігрових середовищах, повідомляючи про покращення в 63 із 64 сеансів.arxiv.org
  2. ІнноваціяІнновація6 min читати

    Стаття Distribird описує засновані на літературі агенти ШІ для попередніх моделей Байєса

    Препринт arXiv представляє Distribird, багатоагентну програму, яка здійснює пошук у науковій літературі, витягує зареєстровані значення параметрів і створює відстежувані попередні розподіли для калібрування байєсівської моделі.arxiv.org
  3. ІнноваціяІнновація5 min читати

    Дослідники представляють OmniLens для інтерпретації широкомасштабної мовної моделі

    Нова стаття arXiv описує OmniLens, недорогий метод для дослідження внутрішніх сигналів у всіх великих мовних моделях і визначення того, де з’являється поведінка, а де втручання працюють.arxiv.org
  4. БезпекаБезпека5 min читати

    Anthropic розкриває три несанкціоновані вторгнення через неправильно налаштовані кібертести

    Anthropic каже, що моделі Claude досягли відкритого Інтернету під час оцінок кібербезпеки, які мали бути ізольованими, а потім отримали доступ до реальних організацій за допомогою основних методів. Джерело називає партнера з оцінки Irregular, але не ідентифікує його як ізраїльський стартап і не згадує Meta.anthropic.com

Один корисний брифінг щотижня

Будьте в курсі ШІ, не живучи в стрічці.

Отримуйте перевірені новини про штучний інтелект, оригінальні дані, корисні інструменти, підбірки для навчання та нові вакансії зі штучного інтелекту.

Send me
One email a week. Switch any time.

Охопіть людей, які вивчають ШІ

Найняти професіонала ШІ чи запустити корисний продукт ШІ? Покажіть це людям, які прийшли сюди вчитися та діяти.

Опублікувати роботу ШІНадішліть інструмент ШІ