Перейти к содержанию
Promtime

Оформление

Оформление

Meta

Meta готовит запланированные задачи для Meta AI

В свежих сборках Meta AI для веба нашли раздел Scheduled tasks. Он позволит создавать повторяющиеся задания, которые выполняются по расписанию: утренний дайджест новостей, еженедельная сводка или периодическая проверка темы, с результатом внутри ассистента. Публично функция пока не запущена.

Название совпадает с индустриальным стандартом scheduled tasks, а сама наработка продолжает более раннюю затею Tasks. Неясно, смогут ли задачи срабатывать по событиям, обращаться к подключённым приложениям и слать уведомления по завершении.

Параллельно директор Meta по ИИ Александр Ванг сообщил на встрече 2 июля, что следующая модель под кодовым именем Watermelon догнала GPT-5.5 от OpenAI по внутренним бенчмаркам. Дата выхода и публичные результаты пока отсутствуют.

Открытые модели

Mistral выпустила Leanstral 1.5 для формальных доказательств

Mistral выложила Leanstral 1.5 для Lean 4 под Apache 2.0: 119B параметров, 6.5B активных, контекст 256k и цена 0 долларов в Labs. Модель полностью закрыла miniF2F и решила 587 из 672 задач PutnamBench. В тесте на Rust через Aeneas она нашла 47 нарушений и 11 реальных багов, пять из которых не были известны на GitHub.

Пока никто не написал. Будьте первым.

Присоединяйтесь к разговору

Войдите, чтобы оставить комментарий. Он появится после модерации.