⚡ Прорывы AI GPT-6 Astra — математическое доказательство

⚡ Прорывы AI

GPT-6 Astra — математическое доказательство. Доказала: существует бесконечно много пар последовательных простых чисел с разницей ≤ 186. Перекомпоновка известных методов, формализация доступна для верификации.

Meta Muse Spark — 6 математических проблем. Решила задачи в теории вероятностей, диффур, теории групп и оптимизации. Параллельно — Muse Gadgets (open-source AI-хардвер) и Muse Home Link для умного дома.

Tavus Griffin — видео-тест Тьюринга. End-to-end Human Interaction Model: реальное время, мимика, движения. 48% участников приняли за живого человека. Первый прорыв за пределами текста.

SIFT — MIT + Sakana AI. Фреймворк парной оценки кодинга-агентов: 35.1% на Polyglot за 5 часов, $150 API-кредитов. Обгоняет evaluate-and-compare (29.8%).

Релизы моделей

🔹 Claude Opus 4.6 — enterprise-инфотаски, юриспруденция, финансы, координация агент-команд. claude.ai и облачные платформы.
🔹 Kimi K3 — крупнейший open-source, $3/$15M токенов, native visual understanding.
🔹 Kimi K2.6 — open-source, до 1000 mini-agent helpers, Rust/Go/Python.
🔹 MiniMax M2.7 — self-evolution через RL, $0.30/M input.
🔹 Ember-1 (Fireworks) — reasoning с пониженным потреблением токенов.