Claude Fable 5.2 : des équipes d’agents prouvent des théorèmes complexes
Des modèles d'intelligence artificielle parviennent désormais à résoudre des problèmes mathématiques de longue haleine grâce à des systèmes multi-agents complexes. On observe des progrès significatifs dans la capacité des IA à structurer et valider des preuves formelles.