RECHERCHE
Une preuve assistée par IA pour la conjecture en optimisation creuse
Une étude valide une conjecture sur les moindres carrés épars grâce à un système agentique basé sur Gemini.
arXiv cs.AI · cs.LG · cs.CL·Honghao Lin, Vahab Mirrokni, David P. Woodruff·3 août 2026
Image · Source originale
Des chercheurs confirment la conjecture d'Axiotis et Sviridenko concernant la dépendance linéaire au nombre de condition restreint en optimisation convexe creuse. La démonstration, obtenue via un système agentique automatisé utilisant le modèle Gemini, a été vérifiée et éditée par les auteurs.
Chaleur 0
Pertinence 40
Nouveauté 70