Star Metro - OpenAI dit avoir résolu un problème de maths crucial en quelques jours seulement