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.