Nouveau leader sur le tableau des leaders de PutnamBench ! Nous approchons de la saturation maintenant, le prochain grand objectif sera d'optimiser le coût pour la même performance de preuve ! Félicitations à l'équipe de Logical Intelligence !