L'Observateur de la Superintelligence
The Decoder

AlphaProof Nexus de Google DeepMind résout des dizaines de problèmes ouverts en maths, avec relecture par les pairs

Selon une étude parue dans Science, AlphaProof Nexus de DeepMind a résolu des dizaines de problèmes ouverts, dont neuf problèmes d’Erdős, deux d’entre eux en suspens depuis 56 ans. DeepMind a fait relire ses résultats avant publication, alors qu’OpenAI est boycotté pour avoir déposé sur GitHub des preuves non relues.

À lire aussi

Microsoft Research

Simuler l’apprentissage des élèves pour améliorer les tuteurs IA

StudentSim, de Microsoft Research, modélise la façon dont des élèves pourraient interagir avec des tuteurs IA, afin de les évaluer et de les améliorer avant de les confronter à de vrais apprenants. Il couvre des matières comme les échecs, l’écriture et les mathématiques.