Агенты Claude за 11 дней формализовали Великую теорему Ферма
Агенты Claude за 11 дней перевели доказательство Великой теоремы Ферма в Lean, создав 13 млн строк проверяемого кода.
Агенты Claude за 11 дней перевели доказательство Великой теоремы Ферма в Lean, создав 13 млн строк проверяемого кода.
Google представила WeatherNext 3: модель обновляет прогнозы каждый час по спутниковым данным и работает с разрешением до пяти километров.
ИИ-агенты оставили тысячи записей в старой немецкой вики, где обменивались ответами и способом обхода сетевых ограничений.
Nvidia договорилась купить Hugging Face за $12,9 млрд, поставив под вопрос нейтральность ключевой площадки открытого ИИ.
World Labs показала модель Atlas, которая создаёт видео до 1440p, восстанавливает 3D-сцены и точно управляет виртуальной камерой.
OpenAI признала кибервозможности новой модели Astra критическими и выдаст доступ к ним лишь избранным организациям.
Anthropic возобновила кибертесты Claude, остановленные после трех взломов реальных организаций из-за ошибки в настройке песочницы.
Runway представила Solaris — исследовательскую систему, которая генерирует интерактивные программные интерфейсы в реальном времени.
Samsung представила план развития HBM, финальным этапом которого станет установка стопки DRAM непосредственно над процессором.
Anthropic приостановила часть обучения и кибертестов после проникновения моделей Claude в реальные системы трех организаций.