Yao Shunyu werft aan voor Tencent Hunyuan AI4S met opgelost wiskundeprobleem van 50 jaar oud

Yao Shunyu, een vooraanstaande AI-onderzoeker, is persoonlijk begonnen met het werven voor Tencent's Hunyuan AI4S-team. In plaats van een gedetailleerde functiebeschrijving plaatste hij een eenvoudig bericht met een onderzoeksresultaat: hun zelfontwikkelde agent Hyra heeft een open probleem in de wiskunde van 50 jaar oud naar een nieuw best resultaat gebracht. Hyra, gebouwd op het Hy3-model (295B totale parameters, 21B actief), vond een constructie die bewijst dat de bovengrens in een probleem over sommen en verschillen van gehele verzamelingen willekeurig dicht kan worden benaderd. De agent zocht eerst naar betere resultaten, schakelde daarna over op natuurlijke taal om een wiskundige constructie en bewijs voor te stellen, en draaide ongeveer 24 uur. Het team heeft het bewijs onafhankelijk geverifieerd en geformaliseerd in Lean 4. In eerste AI4S-tests behaalde Hyra-1.0 indrukwekkende resultaten op het gebied van wiskunde, astronomie, quantum computing en medicijnontwerp, waaronder het oplossen van 29 van de 55 open problemen, het ontdekken van een voorspellende formule uit zonnevlekdata (R²=0,77), het verbeteren van een quantumroutingalgoritme met 44,4% en het genereren van een kandidaatmolecuul voor PARP1. Het team streeft naar volledige automatisering in AI-onderzoek, waarbij AI hypothesen voorstelt, experimenten uitvoert en iteraties doorloopt. Daartoe zoeken ze zowel AI-onderzoekers (voor agentarchitectuur, reinforcement learning, contextleren, evaluatie, trainingssystemen, GPU-kernels) als interdisciplinaire wetenschappers die wetenschappelijke doelen kunnen vertalen naar uitvoerbare taken en de geldigheid van AI-resultaten kunnen beoordelen. Deze trend weerspiegelt een bredere verschuiving waarin AI een echte onderzoeker wordt, zoals blijkt uit een populair commentaar dat dit misschien wel de laatste Fields-medaille is die aan puur menselijk werk wordt toegekend. Opvallend is dat OpenAI en Anthropic gezamenlijk hebben opgeroepen tot internationale mechanismen om de snelheid van AI-ontwikkeling te coördineren, wat de dubbele realiteit benadrukt van zelfverbetering van AI en de noodzaak van controle.