Résumé · 24h

1. Des chercheurs chinois franchissent une étape majeure : l’agent IA open source « Hyra » résout un problème mathématique qui a déconcerté AlphaEvolve, GPT et Claude
   Un nouveau prépublication sur arXiv règle un problème de longue date en combinatoire additive, la construction clé ayant été proposée par Hyra, un agent IA open source de Tencent basé sur le modèle Hy3. Malgré les tentatives d’AlphaEvolve de Google DeepMind, de GPT et de Claude, aucun n’a réussi, et la solution de Hyra a été formellement vérifiée dans l’assistant de preuve Lean. Cette réalisation marque une étape importante comme premier résultat mathématique majeur obtenu par un modèle open source, et le mathématicien Thomas Bloom a approuvé le résultat, allant même jusqu’à lister « Hyra » comme co-auteur.