Article important d'OpenAI : "Les LLM peuvent-ils résoudre des conjectures mathématiques simples ? Des chercheurs ont construit un "Test de Godel" pour voir si GPT-5 peut prouver de nouveaux résultats simples avec un contexte minimal sur 5 nouvelles conjectures d'optimisation : • presque correct sur 3/5 • p2 : a trouvé une solution alternative valide • p4 : a échoué (besoin de combiner deux articles) • p5 : a échoué (n'a pas pu terminer la preuve)