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