L'agent IA autonome de Google DeepMind a résolu 9 des 353 problèmes ouverts issus du légendaire ensemble de problèmes d'Erdős, une collection de défis en combinatoire et en théorie des nombres qui ont déconcerté les mathématiciens pendant des décennies. Deux des neuf problèmes étaient restés non résolus pendant 56 ans — les plaçant fermement dans la catégorie des problèmes que le domaine avait largement acceptés comme inextricables pour les chercheurs humains travaillant seuls.
Le résultat est significatif non seulement pour les mathématiques, mais aussi pour la manière dont la communauté de recherche au sens large devrait envisager le rôle de l'IA dans le raisonnement formel. Les problèmes d'Erdős ne sont pas des calculs mécaniques — ils nécessitent des sauts créatifs, la formation de conjectures et la construction de preuves. Un agent autonome naviguant dans cet espace sans assistance humaine représente un pas qualitatif au-delà des précédents repères mathématiques de l'IA.
WuBlockchain
CoinDesk
Altcoin Daily