Ravi de partager : #Aletheia, notre agent de recherche mathématique, vient de résoudre 6/10 des problèmes FirstProof notoirement difficiles de manière autonome, le meilleur résultat du défi inaugural ! Pour moi, c'est même plus grand que notre réalisation historique de médaille d'or à l'IMO l'année dernière ; ces problèmes défient même les meilleurs mathématiciens. Nous partageons nos résultats de manière transparente, consultez le document et l'ensemble de nos réflexions dans le fil. 👇