Протоарифметика или Стратифицированная система без нуля: фундаментальные основания
ВведениеСтратифицированная система без нуля представляет собой иерархическую конструкцию формальных языков, построенную на принципе постепенного введения абстракций без использования нулевых элементов на начальных уровнях. Данный подход решает фундаментальную проблему дуализма нуля в основаниях математики и обеспечивает концептуальную чистоту формальных систем.I. Концептуальные основания1.1. Проблема дуализма нуляВ традиционных формализмах ноль играет двойственную роль:Как отсутствие объектов (пустота, ничто)Как полноценный математический объект с определёнными свойствами
Селективная генерализация: улучшение возможностей при сохранении alignment
TL;DR: Мы провели бенчмаркинг семи методов, направленных на предотвращение эмерджентного рассогласования и других форм некорректного обобщения с использованием ограниченного объёма alignment-данных. Мы демонстрируем устойчивый трейдофф между способностями модели и согласованием, подчеркивая необходимость более эффективных методов для снижения этого конфликта. Простое включение alignment-данных в микс обучающих данных оказывается недостаточным для предотвращения рассогласования, однако простое наложение KL Divergence penalty на alignment-данные показывает лучшие результаты, чем более сложные подходы.
Как одеть гидру в броню или взлом смарт-контрактов на DeFi-хаке
Философия, мысли и спойлерыДобрый день, уважаемые хабровчане ;)). Мы продолжаем серию публикаций о нашем участии в “разношерстных” хакатонах, проводящихся под эгидой коммерческих, государственных и иных организаций самого необычного формата, направленности, специфики, толка и рассуждений.
В агенте Deep Research ChatGPT нашли критическую уязвимость
Специалисты по кибербезопасности из компании Radware рассказали о критической уязвимости ShadowLeak в агенте глубокого исследования Deep Research в ChatGPT. Она позволяла злоумышленникам незаметно извлекать данные пользователей с серверов OpenAI без какого-либо взаимодействия с ними.
Автоматизированное машинное обучение с помощью нашего Open Source фреймворка: задача о Титанике
Привет! Меня зовут Владимир Суворов, я Senior Data Scientist в Страховом Доме ВСК и core-разработчик нашей библиотеки машинного обучения OutBoxML.
Google интегрирует чат-бот Gemini в Chrome для выполнения «рутинных задач» от имени пользователя
Google запускает набор функций на базе чат-бота Gemini в браузер Chrome для выполнения «рутинных задач» от имени пользователя. Корпорация отменила абонентскую плату за использование Gemini в Chrome, ранее для этого требовались подписки AI Pro или AI Ultra. Опция уже доступна пользователям Windows и Mac в США.
Ваш ИИ-ассистент — это новое поколение компиляторов
Команда AI for Devs подготовила перевод статьи о том, как ИИ меняет саму суть программирования. Автор сравнивает LLM с компиляторами и утверждает, что роль разработчиков постепенно смещается от написания кода к управлению архитектурой и обучению ИИ. Как думаете, это угроза или эволюция профессии?В последнее время я много пользуюсь ИИ-ассистентами программирования. Могу подтвердить — Claude Code
AI-агент 007. Разбираем, что автоматизировать, а что не стоит
Всем привет, я Александр Константинов — технический эксперт из Cloud.ru. Всё чаще в жизни и работе мы имеем дело с AI-агентами — стремимся делегировать рутинные задачи или ускорить что-то сложное. И мы, само собой, в команде тоже их используем. В этой статье я подсобрал весь опыт — свой, команды, коллег и клиентов — и разобрал, с автоматизацией чего AI-агенты здорово помогут, а где лучше найти другое решение. А еще в конце показал, как быстро создать собственного помощника.
Внутреннее устройство чат-бота
На примере чат-бота Альфа-БанкаВсем привет! Меня зовут Кажекин Денис, я DS в лаборатории машинного обучения Альфа-Банка, и в этой статье расскажу о том, как же устроен наш чат-бот поддержки и какие модели участвуют в обработке пользовательских запросов.Как устроен чат-бот?У клиентов часто возникают вопросы по различным продуктам и процессам Банка.
ИИ — пузырь или платформа: что ждёт рынок в ближайшие годы?
Изображение сгенерировано в GigaChat.В последние пару лет искусственный интеллект переживает настоящий бум. Генеративные модели вроде ChatGPT ворвались в массовое сознание, а акции технологических гигантов взлетели на волне AI-хайпа
