AlphaProof Nexus de Google DeepMind a résolu des dizaines de problèmes mathématiques ouverts, dont neuf problèmes d'Erdős…

…deux d'entre eux étant non résolus depuis 56 ans, selon une étude dans Science. La publication intervient alors qu'OpenAI fait face à un boycott pour avoir déposé des preuves IA sur GitHub sans revue par les pairs.

Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA