Компания Mistral AI выпустила Leanstral 1.5

Дом

Срочные новости

Содержание

EdwardScott

6 июля 2026 г.

Компания Mistral AI выпустила Leanstral 1.5 — модель для формальных математических доказательств с 119 миллиардами параметров, при этом в процессе работы задействуется лишь 6 миллиардов из них; программа распространяется под лицензией Apache-2.0. Она показала результат 100% на тесте miniF2F, решила 587 из 672 задач из набора PutnamBench, причем стоимость её использования составляет 4 доллара за каждую задачу, в то время как у конкурентов она превышает 300 долларов. Кроме того, модель выявила 47 нарушений правил написания кода в 57 репозиториях, включая 5 незамеченных проблем в GitHub.

Поделиться Нажмите, чтобы скопировать ссылку

Комментарии (0)

0/300

Представлять на рассмотрение

HarperJones 13 октября 2026 г.

OpenAI интегрирует GPT-6 с интеллектуальным пользовательским интерфейсом в ChatGPT, что позволяет отображать интерактивные диаграммы и виджеты прямо в диалогах. Благодаря этому крупные модели превращаются из источников информации в точки входа для взаимодействия при решении задач, что кардинально меняет привычные интерфейсы приложений. Такой шаг представляет угрозу для автономных инструментов ИИ и контент-платформ, поскольку устраняет необходимость в отдельных приложениях. Между тем суперприложения, такие как WeChat и Douyin, получают конкурентные преимущества, используя существующие экосистемы и каналы распространения для интеграции точек входа непосредственно в пользовательские сценарии.

DouglasAnderson 13 октября 2026 г.

Компания Qwen поясняет, что Qwen Go — это персональный ИИ-агент, встроенный в её приложение, а не отдельное приложение для скачивания. Пользователи могут подать заявку на доступ к таким функциям, как обработка претензий по авиаперелетам и сравнение цен. Эта функция призвана превратиться в более умного и персонализированного помощника, использующего экосистему Alibaba для решения разнообразных личных задач непосредственно в рамках существующей платформы, а не путем запуска отдельного приложения.

DouglasThomas 13 октября 2026 г.

Компания ByteDance Seed создала отдел по согласованию моделей и обеспечению готовности, возглавляемый Яном Лином, с целью повышения безопасности искусственного интеллекта. Это новое подразделение сосредоточено на обеспечении безопасности моделей интеллектуальных агентов и снижении рисков, связанных с химическими, биологическими, радиологическими и ядерными материалами (CBRN), посредством регулирования, оценки и обучения по согласованию моделей. Являясь первой китайской передовой лабораторией в области ИИ, создавшей специализированный отдел по безопасности, Seed стремится обеспечить работу моделей в безопасных пределах, сокращая случаи неправомерного использования и отклонений в поведении, а также содействуя открытому сотрудничеству с внешними исследователями для поддержки широкомасштабного применения.

KevinRoberts 13 октября 2026 г.

Компания MiniMax открыла свой первый флагманский магазин на Taobao, где продаются подписки на план «M». Это отражает более широкую тенденцию в отрасли, когда поставщики ИИ, такие как Zhipu и Alibaba Cloud, переносят продажу токенов с официальных сайтов на платформы электронной коммерции. Taobao запустил проект «AI Space Station» для объединения этих услуг. Эта стратегия нацелена на массового потребителя: она преобразует техническое использование API в доступные розничные продукты, перенося акцент конкуренции с технических показателей на непосредственную доступность для потребителя и ценообразование.

JoseJackson 13 октября 2026 г.

Amazon ведет переговоры о приобретении Decart за 7 миллиардов долларов. Этот трехлетний стартап, основанный в 2023 году, предлагает программное обеспечение для кросс-чип совместимости, позволяющее моделям искусственного интеллекта бесперебойно работать на различном оборудовании, таком как GPU NVIDIA, TPU Google и Amazon Trainium. Данная технология направлена на снижение затрат и повышение производительности до восьми раз. Ранее Decart не смогла заключить сделки с NVIDIA и Anthropic, обе компании покинули переговоры после проведения проверки. Amazon платит значительную премию по сравнению с недавней оценкой Decart в 4 миллиарда долларов, стремясь укрепить свою экосистему AWS и снизить стоимость обработки одного токена для своих чипов Trainium, одновременно поддерживая свои более широкие стратегии в области облачных вычислений и воплощенного интеллекта.