Toutes les news taguées avec ce sujet.
OpenAI affirme qu'un modèle GPT-5.6 a généré une preuve formelle d'un problème ouvert majeur en théorie des graphes, la CDC Conjecture.