Toutes les news taguées avec ce sujet.
Un système multi-agents structure la production de preuves complexes et obtient de nouveaux résultats sur des problèmes ouverts issus de FOCS et JMLR.
Les chercheurs utilisent un assistant d'IA pour formaliser la preuve du grand théorème de Fermat en Lean.