TechCrunch
OpenAI prétend avoir réellement résolu ce vieux problème de maths de 80 ans, cette fois pour de vrai
OpenAI affirme que son nouveau modèle de raisonnement a réfuté une célèbre conjecture d'Erdős de 1946, et cette fois, ils ont des mathématiciens pour les soutenir, pas seulement un tweet supprimé.