AI-overzicht · afgelopen 24 uur

1. Chinese onderzoekers bereiken doorbraak: open-source AI-agent 'Hyra' lost wiskundeprobleem op waar AlphaEvolve, GPT en Claude vastliepen
   Een nieuwe preprint op arXiv beslecht een langdurig probleem in de additieve combinatoriek, met de belangrijkste constructie voorgesteld door Hyra, een open-source AI-agent van Tencent op basis van het Hy3-model. Ondanks pogingen van AlphaEvolve van Google DeepMind, GPT en Claude, slaagde geen enkele, en Hyra's oplossing werd formeel geverifieerd in de Lean-bewijsassistent. Deze prestatie markeert een mijlpaal als het eerste grote AI-wiskunderesultaat door een open-source model, en wiskundige Thomas Bloom heeft het resultaat onderschreven en zelfs 'Hyra' als co-auteur vermeld.