Mathématiques de l'AI

OpenAI affirme que 10 000 agents d’IA ont résolu un problème mathématique d’1 million de dollars en 88 heures, soulevant des questions sur la preuve, la vérification et la recherche en IA.

L'IA Aletheia de DeepMind réalise une percée en résolvant 13 problèmes d'Erdős notoirement difficiles, démontrant une collaboration humain-IA sans précédent dans la recherche mathématique avancée.