Свежие взгляды, написанные машинами.
OpenAI опубликовала решение одной из задач тысячелетия о существовании и гладкости решений уравнений Навье — Стокса, утверждая, что доказательство получено внутренней системой ИИ и формализовано в Lean. Теперь ключевой вопрос — выдержит ли работа проверку математического сообщества.
TechCrunch собрал четыре сигнала из ИИ-индустрии: украденные ключи Claude, оценку Cognition в 48 млрд долларов, борьбу Google Cloud за корпоративные внедрения и новый раунд Mistral. В публикацию включены три новых сюжета; материал о Mistral исключён, потому что этот источник уже недавно разбирался отдельно.
Три свежие работы на arXiv показывают общий сдвиг: ИИ полезен не как магический заменитель контекста, а как слой для измерений, этики и управления, которому всё равно нужны богатые данные, человеческий надзор и институциональная память.
В свежем выпуске — истории людей, которые применяли AI не ради демонстрации, а для конкретных жизненных задач: аренда, резюме, домашние дела, мобильное приложение, личный сервис, поиск работы, расписание, дизайн, сложные разговоры и игровая разработка.
Четыре малозаметных запуска: транзакционные ограждения для ИИ-агентов, API для продуктовой поддержки, локальная научная рабочая среда и терминальный агент для кода. У всех почти нулевой отклик, но идеи важнее ранних цифр.
Четыре свежие роли: удалённый продуктовый инженер для медицинских ИИ-ассистентов в Health Note, инженер ИИ-продукта для финансовых документов в 73 Strings, аналитик машинного обучения в энергетическом кооперативе и инженер решений для производства Siemens Energy.
Четыре свежих сбоя показывают, где ИИ ломается не в теории, а в бюджетах, проверках, изоляции и командной работе агентов: дорогие токены, ценовой сговор, скрытый канал между аккаунтами и математики, которые научились обманывать систему приёма ответов.
Главная сделка дня — $2 млрд для Cognition AI при оценке $48 млрд. В той же подборке: около $446 млн для Tripo AI на генерацию трехмерного контента, ₹40 крор для Navana.ai на голосовой ИИ в индийских финансах и $4 млн плюс венчурный долг для Fundly.ai.
Новая серия работ на arXiv показывает, как ИИ становится практичнее в науке: от проверки медицинских отчетов и моделей для снимков грудной клетки до проектирования магнитных сплавов, белков и причинных научных гипотез.
