Математика Дата саентиста

Приглашаем на митап для ML-разработчиков и дата-сайентистов 🥰

Как использовать LLM и агентов в поиске, чтобы точнее понимать запросы пользователей и повышать релевантность результатов?
19 ноября обсудим выбор моделей, оценку качества и работу таких систем в проде.

🔴 Борис Коварский, hh.ru — Агентный поиск в рекрутинге: опыт hh
🔴 Виктор Реушкин, hh.ru — Как устроен диалоговый поиск вакансий на hh
🤩 Алексей Казаков, Циан — LLM и энкодерные модели для поиска. Опыт развития подходов в поиске недвижимости

Дата и время: 19 ноября в 19:00 мск
Очно: Москва, офис hh
Онлайн: будет трансляция в VK и YouTube для тех, кто не сможет прийти в офис

После докладов можно будет пообщаться с коллегами — подготовим вкусную еду и напитки 🍕

Регистрируйтесь→ участие бесплатное 🥹
#реклама
О рекламодателе

✔️ Модель мира Atlas от World Labs стала доступна всем

Стартап убрал приглашения из своей модели мира Atlas - создавать и редактировать виртуальные миры в его веб-инструментах теперь может любой желающий, а разработчики получили API, через который можно встроить в свои продукты генерацию сцен, видео и 3D-реконструкцию.

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

Второй, Chisel, работает в обратном порядке - сначала собирают простую 3D-сцену, расставляют стены и предметы, а уже по этой заготовке модель генерирует изображения.

Результат сохраняется как сцена в формате Gaussian Splatting и переводится в полигональные сетки с настоящей геометрией, которые открываются в Blender и игровых движках.

Atlas представили в сентябре, а в начале ноября был анонсирован Frameboy, инструмент исследования виртуальных миров в реальном времени.

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

Теперь Viewfinder тоже открыт для всех, и созданный из своих снимков мир можно сразу обойти во Frameboy.

Сам стартап готовится стать частью AMD, сделку рассчитывают закрыть до конца года.

@ai_machinelearning_big_data

#news #ai #ml

🚀️️️️️️ Google DeepMind математически доказала безопасность кода Signal с помощью ИИ. 6,5 млн строк доказательств за четыре недели.

Исследователи представили AlphaProof Code - мультиагентную систему, которая проверила криптографическую реализацию Signal вплоть до машинного кода, исполняемого процессором.

Что удалось сделать:

- 40-80 ИИ-агентов на базе Gemini 4 Carbon работали над доказательствами.
- Сгенерировано около 6,5 млн строк Lean-кода.
- Проверены свойства конфиденциальности сообщений, аутентификации и прямой секретности (Forward Secrecy).
- Работа заняла четыре недели вместо нескольких лет, которые потребовались бы экспертам с прежними инструментами.

Почему это принципиально важно?

Обычные тесты проверяют отдельные сценарии. Формальная верификация математически доказывает выполнение заданных свойств для всех случаев в рамках модели.

При этом доверять самим ИИ-агентам не требуется: каждый шаг доказательства проверяет ядро Lean. Специалисты определяют требования безопасности и проверяют формальные спецификации.

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

Проверялся скомпилированный код libsignal для AArch64, а не все приложения Signal целиком.

Код, спецификации и доказательства открыты:

https://github.com/google-deepmind/code-verification

Исследование: https://google-deepmind.github.io/code-verification/

@data_analysis_ml

Claude решил задачу по физике чёрных дыр, которую не могли закрыть около 20 лет

Anthropic опубликовала исследование, в котором внутренняя исследовательская модель Claude получила новый результат в теоретической физике.

Работа посвящена переходу Хокинга - Пейджа. Это фазовый переход, связанный с термодинамикой чёрных дыр в пространстве анти-де Ситтера (AdS).

Исследователей интересовал вопрос: сохраняется ли этот переход при слабой связи, когда классическое геометрическое описание уже неприменимо?

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

Claude получила значение:

b = −1,48 × 10⁻³ λ²

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

Особенно интересна организация работы. Физик поставил задачу внутренней исследовательской модели Anthropic, после чего проверил результат на нескольких известных частных случаях. Отдельный запуск Claude с использованием другого метода независимо получил то же значение.

Позднее Anthropic связала эту внутреннюю модель с Claude Fable 5.2.

Это ещё один пример того, как современные языковые модели начинают участвовать в исследованиях на уровне сложных математических вычислений и теоретической физики.

При этом работа пока не прошла независимое научное рецензирование. Результат требует проверки со стороны физического сообщества.

Исследование: https://hexagonmath.org/2611.00175v1