Новости ИИ — 4 сентября 2026
5 материал(ов) за день · искусственный интеллект
За 4 сентября 2026 в ленте 5 материалов о развитии ИИ. Главное — AI-агенты провалили тест Cohere: только 2.6% автономны. Также: Claude впервые формализовал Великую теорему Ферма: 13 млн строк кода в Lean; GPT-6 Astra в GitHub Copilot: сам пишет и проверяет код.
AI-агенты провалили тест Cohere: только 2.6% автономны
И 419 профессий остаются без AI-инструментов вообще.
Claude впервые формализовал Великую теорему Ферма: 13 млн строк кода в Lean
ИИ за 11 дней написал 13 млн строк кода в Lean — это автоматизирует проверку математики, которая сейчас занимает годы.
GPT-6 Astra в GitHub Copilot: сам пишет и проверяет код
Модель планирует действия и проверяет результат, а Copilot теперь предлагает ещё больше моделей.
Ling 3.0 Flash Sante: ИИ с контекстом 262k токенов — теперь бесплатен
Через агрегатор OpenRouter модель снижает порог входа для работы с большими текстами, но бесплатные тарифы всегда с ограничениями.
Runway Team Plan: видео с AI теперь делают команды
От $55 за место: единый баланс кредитов и общие проекты упрощают управление и обеспечивают консистентность.