Заработай с помощью ИИ AI От веб-кодинга к вайб-кодингу 🔥
Без категории · 3 августа 2026 г.
Детали прорыва:
Детали прорыва: OpenAI представила результаты работы своей будущей флагманской модели Astra (вероятно, GPT-6). ИИ не просто выдал текст, а предоставил строгие доказательства на языке Lean для 10 открытых проблем в области упаковки сфер, квантовой сложности и теории групп. Некоторые из этих задач оставались нерешенными более 30 лет. Что важно: доказательства проверяемы машиной, а значит — ошибки исключены. Стоимость вычислений составила около $2000 на задачу по текущим тарифам Sol API. Где деньги: 1. R&D на стероидах. Фармацевтика, материаловедение и криптография получат инструмент, который может заменять целые отделы теоретиков. Стоимость инноваций упадет в разы. 2. Lean-индустрия. Растет спрос на специалистов, умеющих формализовать научные задачи для проверки ИИ. Это новая ниша в высокоуровневом программировании. 3. OpenAI vs Anthropic. На фоне успехов Astra, Anthropic заявила о взломе 5 задач своей моделью Fable. Гонка вооружений переходит из чат-ботов в область фундаментальной науки, что раздует капитализацию лидеров до триллионов. Вердикт: Мы перешли черту, где ИИ перестал быть «помощником» и стал «первооткрывателем». Если раньше мы учили ИИ, то теперь он начинает учить нас новой математике. Это самый мощный сигнал к тому, что AGI (общий искусственный интеллект) уже не за горами — он уже решает задачи, которые не под силу лучшим умам человечества. Источник: OpenAI Research мах