Итоги · за 24 ч
Главное в рубрике «Исследования» за сутки.
- Китайские исследователи добились прорыва: открытый ИИ-агент Hyra решает математическую задачу, которая поставила в тупик AlphaEvolve, GPT и Claude
Новый препринт на arXiv решает давнюю проблему в аддитивной комбинаторике. Ключевую конструкцию предложил Hyra — открытый ИИ-агент от Tencent на основе модели Hy3. Несмотря на попытки AlphaEvolve от Google DeepMind, а также GPT и Claude, ни одна из них не добилась успеха. Решение Hyra было формально проверено в системе интерактивного доказательства Lean. Это достижение знаменует собой первую крупную математическую победу, одержанную моделью с открытым исходным кодом. Математик Томас Блум признал результат и даже указал Hyra в качестве соавтора.
Источник: dnb66 · Итоги —
оригинал