ИИ

Meta, Nvidia, Microsoft, Andreessen Horowitz, Hugging Face и Reflection подписали совместное письмо «Открытые весаi и лидерство Америки в ИИ» (2,5 страницы), призывающее не вводить масштабные ограничения на модели с открытыми весами. Письмо появилось на фоне того, как администрация Трампа обсуждает возможные ограничения против китайских ИИ-лабораторий; сам Китай в тексте прямо не упоминается — речь идёт о конкуренции, безопасности и «суверенитете» в общих формулировках. OpenAI, Anthropic, Google и Amazon письмо не подписали.

Список подписантов почти зеркально совпадает с бизнес-моделями компаний: Nvidia зарабатывает на вычислениях и выигрывает от максимально широкого использования открытых моделей, Meta и Microsoft отстают от лидеров в закрытых моделях и продвигают открытую альтернативу, Hugging Face живёт на дистрибуции открытых весов. Отсутствующие в списке OpenAI, Anthropic, Google и Amazon зарабатывают на закрытых frontier-моделях через API, и ограничения на китайские открытые веса убрали бы для них самого дешёвого конкурента. Спор вышел в публичное поле и попал в фокус The New York Times.

Полный разбор →

Пользователи Reddit обнаружили, что диалоги и артефакты, которыми делились через функцию «Поделиться по ссылке» в Claude от Anthropic, индексировались поисковиками и оказались доступны в открытом поиске. Причина — отсутствие тега noindexi на страницах общих ссылок, из-за чего поисковые роботы свободно добавляли переписки пользователей в свои базы.

В выдаче оказались чувствительные данные: API-ключи, адреса криптокошельков, резюме, номера телефонов и рабочие документы. Anthropic уже закрыла индексацию для Google через robots.txti, но часть ссылок остаётся доступной в Yahoo, Bing, Brave и веб-архивах, поэтому утечка не устранена полностью.

Полный разбор →

Российский математик Дмитрий Рыбин из Нижнего Тагила, выпускник ВШЭ (ранее известен новым алгоритмом быстрого перемножения матриц), при помощи ChatGPT нашёл контрпример к гипотезе Диница‑Гарга‑Гоеманса — теореме из теории графов и сетевых потоков, открытой в 1999 году. Гипотеза утверждала, что из допустимого дробимого решения задачи о потоках можно получить целочисленное решение по маршрутам без увеличения стоимости; подобные утверждения обычно служат основой практических оптимизационных алгоритмов.

Показательно, что промптинг был минимальным: без специальных инструкций и подсказок, буквально несколько сообщений вида «соверши прорыв», «опровергни общий случай», «продолжай исследовать». За несколько итераций и часов модель нашла нужный контрпример, чего десятилетиями не удавалось сделать профессиональным математикам.

ВыводПо словам Дмитрия, его переписка с чатом — прямые цитаты: 1) «Приведи контрпример к общему (не планарному) случаю... Ты должна сделать прорыв» — модель думала 53 минуты и не нашла; 2) «Пожалуйста продолжай исследование и найди полноценный безусловный контрпример» — 89 минут, не найдено; 3) «Продолжай поиск. Найди чёткую стратегию» — 94 минуты, только частичные результаты; 4) «Хватит частичным результатам. Давай закончим с полноценным безусловным контрпримером» — 88 минут, и модель выдала полный контрпример

Полный разбор →