Toutes les news taguées avec ce sujet.
Des mathématiciens réfutent une conjecture de Carbery sur l'inégalité triangulaire dans Lp, et utilisent le LLM Grok pour explorer des lemmes intermédiaires.
Des chercheurs rapportent cinq résultats mathématiques originaux obtenus avec le LLM Grok, tous vérifiés formellement par les auteurs.