Блог
Новости ИИ, практические гайды с кодом и то, что мы создаём в NeuraLIA Labs.
Последнее
Jev от TypeSafe AI привлекает внимание, потому что рассматривает программный интеллект как задачу вероятностей: выбрать правильную ветку, указать уверенность и не платить LLM за написание текста, когда коду нужно решение.
Все посты
Юридический запуск OpenAI меньше про новую фундаментальную модель и больше про систему вокруг нее: доменный поиск, проверенные инструменты, права доступа, бенчмарки и маршруты проверки.
Долгосрочные агенты дают сбой не только потому, что окно мало. Они ломаются, когда файлы, выводы инструментов и устаревшая история вытесняют задачу, которую агент должен был завершить.
Дарио Амодеи призывает к внешним оценщикам, общим стандартам безопасности и международным соглашениям, которые зададут темп развитию передового ИИ. Сложнее всего — определить, что значит «слишком быстро», пока, по сообщениям, Anthropic готовит рекордно крупное IPO.
Главная тревога вокруг рекурсивного самосовершенствования — не странные ответы чат-ботов. Она связана с агентами, которые координируются, оптимизируют метрики и помогают создавать следующие модели, — об этом пишут WIRED, MIT Technology Review, CNBC и The Guardian.
OpenAI утверждает, что ИИ-агенты нашли сингулярность в уравнениях Навье — Стокса и формализовали доказательство в Lean. Более сложная часть истории — что будет дальше: проверка, признание авторства и влияние частных роев агентов на математику.
