Прорывы в математике, успех Cursor и новые ИИ-инструменты Spotify
Google DeepMind решила девять математических задач, Cursor достиг выручки в $3 млрд на фоне интереса SpaceX, а Spotify представила новые ИИ-функции для аудио.
Подкаст · 2 мин
Google DeepMind решила девять задач Эрдёша
Google DeepMind представила систему AlphaProof Nexus, способную генерировать математические доказательства, проверенные машиной. Система успешно решила девять открытых задач Эрдёша — одних из самых сложных нерешенных вопросов в математике, включая две задачи, остававшиеся нерешенными 56 лет. Процесс включал использование LLM в связке с помощником доказательств Lean для итеративной генерации и проверки решений. Каждая задача была решена за несколько сотен долларов, также система доказала 44 открытые гипотезы из Онлайн-энциклопедии целочисленных последовательностей. Этот результат подчеркивает способность ИИ выходить за рамки простого распознавания образов и вносить вклад в фундаментальную науку. Автоматизация процесса проверки доказательств может существенно изменить подход исследователей к решению теоретических задач в будущем.
Claude Mythos от Anthropic нашла более 10 000 уязвимостей
Anthropic опубликовала результаты проекта Glasswing, показав, что их специализированная модель кибербезопасности Claude Mythos обнаружила более 10 000 критических уязвимостей в программном обеспечении всего за месяц. Партнеры, включая Cloudflare и Mozilla, использовали модель для поиска и исправления багов; Cloudflare отметила, что уровень ложноположительных срабатываний модели оказался ниже, чем у людей-тестировщиков. Кроме того, модель помогла одному из банков-партнеров предотвратить мошеннический перевод на $1,5 млн. Anthropic пока ограничивает доступ к Mythos, ссылаясь на необходимость более строгих мер безопасности. Тем не менее, эффективность модели демонстрирует растущий потенциал ИИ в автоматизированном аудите безопасности, что создает новую динамику в противостоянии между автоматизированной защитой и потенциальными угрозами.
Cursor достигла выручки $3 млрд на фоне переговоров с SpaceX
ИИ-редактор кода Cursor сообщил о достижении годовой выручки в $3 млрд, увеличив показатель с $2 млрд в феврале. Компания прогнозирует рост выручки до $6 млрд к концу 2026 года. Этот стремительный рост привлек внимание SpaceX, которая, по сообщениям, получила опцион на покупку стартапа за $60 млрд (или выплату штрафа в $10 млрд). Сделка последовала за тесным сотрудничеством, включая использование суперкомпьютера SpaceX Colossus для обучения моделей Cursor. Успех Cursor подчеркивает растущую ценность прикладных ИИ-инструментов, которые интегрируют передовые модели в конкретные рабочие процессы, такие как разработка ПО. Потенциальное поглощение со стороны SpaceX может быть стратегическим шагом по обеспечению доступа к специализированной инфраструктуре разработки.
DeepSeek привлекла $10 млрд и снизила цены
DeepSeek объявила о привлечении $10 млрд инвестиций и одновременном снижении цен на свою модель V4-Pro на 75%. Новая стоимость составляет $0,435 за миллион входных токенов и $0,87 за миллион выходных токенов, что значительно ниже предложений многих конкурентов. Основатель лаборатории Лян Вэньфэн заявил, что главной целью организации остается достижение AGI, и компания намерена продолжать стратегию выпуска open-source моделей, несмотря на масштабное финансирование. Агрессивная ценовая политика усиливает конкуренцию на рынке ИИ, заставляя другие компании оправдывать высокую стоимость проприетарных моделей. Сочетая крупное финансирование с открытостью и доступностью, DeepSeek позиционирует себя как серьезного игрока в гонке за развитие передовых ИИ-технологий.
Spotify запускает ИИ-инструменты для ремиксов и аудио
Spotify анонсировала ряд новых ИИ-функций. Благодаря сделке с Universal Music Group (UMG), пользователи смогут создавать ИИ-каверы и ремиксы песен артистов UMG с соблюдением авторских прав и распределением доходов. Также представлено приложение 'Studio by Spotify Labs', которое превращает заметки и письма в персонализированные аудио-брифинги, и инструмент на базе ElevenLabs для создания аудиокниг без профессионального оборудования. Эти шаги отражают стратегию Spotify по расширению за пределы стриминга музыки в сферу создания аудиоконтента. Формализация лицензирования ИИ-контента — попытка компании найти баланс между инновациями и правами артистов, что может стать отраслевым стандартом.
Starbucks отказалась от ИИ-инструмента для инвентаризации
Starbucks официально свернула использование ИИ-системы для управления запасами во всех 11 000+ точках в Северной Америке после девяти месяцев эксплуатации. Инструмент, призванный автоматизировать подсчет товаров, испытывал проблемы с точностью, в частности, не мог корректно различать виды молока. Компания вернулась к ручному учету. Этот случай иллюстрирует сложности внедрения ИИ в физическом ритейле. Несмотря на потенциал повышения операционной эффективности, неудача системы подчеркивает разрыв между теоретическими возможностями моделей и сложностями реальных бизнес-процессов.