ChatGPT помог решить 60-летнюю задачу Эрдеша
Лиам Прайс получил от GPT-5.4 Pro рабочий ход для задачи Эрдеша #1196, а математики проверили, упростили и формализовали доказательство.
новости
Darkbloom: приватный инференс на Mac и тест на доверие
Darkbloom предлагает сеть инференса на простаивающих Mac с OpenAI-compatible API. Разбираем, где сильная идея, а где нужны аудит и проверка claims.
DeepSeek V4 vs GPT-5.5: зачем open weights стали встречным ходом рынка
DeepSeek V4 и GPT-5.5 одновременно вошли в класс million-token context. Главный спор теперь не только о качестве, но и о способе доступа к frontier-модели.
Meta переводит AI-агентные нагрузки на AWS Graviton
Meta разворачивает AWS Graviton для AI-агентов и делает ставку на CPU-слой рядом с GPU. Это важный сигнал для всей гонки AI-инфраструктуры.
Google инвестирует до $40 млрд в Anthropic: ставка на вычисления
Google даёт Anthropic $10 млрд сейчас и обещает ещё до $30 млрд позже. Объясняем, почему сделка важна прежде всего борьбой за вычисления.
Gemini Robotics-ER 1.6: зачем Google дала роботам новый API
Google DeepMind выпустила Gemini Robotics-ER 1.6 для рассуждений в физическом мире: API полезен роботам, но не делает их автономными сам по себе.
GPT-5.4-Cyber: зачем OpenAI расширяет Trusted Access for Cyber
OpenAI расширяет Trusted Access for Cyber: проверенные защитники получат GPT-5.4-Cyber с меньшим числом отказов, но не без контроля.