Le projet First Proof a révélé que, bien que les modèles d'IA aient fait des progrès significatifs en mathématiques en résolvant des problèmes de niveau élevé, ils continuent de commettre des erreurs et restent inférieurs aux meilleurs mathématiciens. #IntelligenceArtificielle #Mathématiques #FirstProof
