НИ

Новости ИИ

Новости · 1 августа 2026 г.

Открыть канал в MAX

🤖 Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve,...

🤖 Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude Что произошло Исследовательский ИИ-агент Hyra от Tencent совершил значительный прорыв в области аддитивной комбинаторики, найдя решение задачи, над которой боролись ведущие ИИ-системы, такие как AlphaEvolve, GPT и Claude. Эта задача касалась точного определения, насколько изменяется конечное множество целых чисел при сложении и вычитании его элементов. Результат достигнут благодаря инновационному подходу к исследовательской работе, который применил агент Hyra. Главные детали 1. Участники: Исследование проведено Хаовэем Линем из Tencent и Шандой Ли из Университета Карнеги-Меллона. Агент Hyra использовался для нахождения решения. 2. Формальная проверка: Решение было проверено формально на языке Lean 4, что обеспечивает надежность и независимую верификацию полученных выводов. 3. Работа Hyra:Агент Hyra работал с открытой моделью Hy3 на 295 миллиардов параметров, предлагал конструкции и наброски доказательств на естественном языке, что было ключом к успеху. 4. Сравнение с другими ИИ: AlphaEvolve от DeepMind и другие агентные системы не смогли превзойти человеческие достижения прошлых лет, запутавшись в численных попытках. 5. Роль GPT-5.6 Sol: Использовался для направляющего поиска, но не для верификации математической правильности. Почему это важно Эта работа демонстрирует значительный прогресс в применении открытых ИИ-моделей для решения сложных математических задач, которые ранее были достижимы только с использованием закрытых моделей. Полученный результат открывает новые перспективы для открытого сотрудничества в научных исследованиях и показывает, что доступные всем модели могут быть столь же эффективны, как и их закрытые аналоги. Это может значительно демократизировать исследования, расширяя круг участников и повышая скорость научного прогресса. Как применить и монетизировать в 2026 1. Узкие AI-агенты в математическом исследовании: Университеты и исследовательские центры → внедрять Hyra для математических открытий → создание новых решений и теорем → обучение специалистов по применению открытых ИИ-моделей. 2. B2B-автоматизация для инженерных задач: Инженерные компании → использовать модели Hy3 для решения сложных технических задач → повышение эффективности разработки → интеграция ИИ-решений в дизайнерские и инженерные платформы. 3. Vertical SaaS в образовательных платформах: Образовательные платформы → адаптировать решения Hyra для обучения студентов → разработка новых учебных методик и заданий → создание курсов с применением ИИ для математического анализа. 4. Аналитика и базы знаний для математиков: Научные издательства и сообщества → внедрение Hyra в систему рецензирования → ускорение проверки научных работ и улучшение качества публикаций → разработка инструментов для автоматического анализа рукописей. Источник: https://habr.com/ru/news/1065586/