RECHERCHE
Cinq inégalités mathématiques découvertes en collaboration avec Grok
Des chercheurs rapportent cinq résultats mathématiques originaux obtenus avec le LLM Grok, tous vérifiés formellement par les auteurs.
arXiv cs.AI · cs.LG · cs.CL·Paata Ivanisvili, Xinyuan Xie·6 mai 2026
Image · Source originale
Deux mathématiciens décrivent cinq découvertes réalisées en collaboration avec le modèle Grok : une borne inférieure améliorée sur le périmètre gaussien maximal d'ensembles convexes, des inégalités de moments L2-L1 plus précises sur le cube de Hamming, une inégalité d'autoconvolution renforcée, de meilleures bornes asymptotiques sur les ensembles g-Sidon, et une inégalité de Szarek équilibrée optimale. Tous les résultats ont été vérifiés formellement par les auteurs.
Chaleur 0
Pertinence 55
Nouveauté 72