Que signifie pour les mathématiques qu'OpenAI ait publié d'un coup plus de 700 preuves générées par IA de problèmes ouverts ?

Le 6 octobre, OpenAI a publié plus de 700 manuscrits prétendant résoudre des problèmes ouverts. Les réactions vont de l'intérêt au deuil ; rien n'a encore été vérifié.

• Nouvelle ère : l'IA accélère la découverte mathématique
• Utile seulement si des humains les vérifient et les comprennent
• Une perte : la beauté humaine de la découverte s'efface
• Exagération : la plupart des affirmations ne tiendront pas
• Inquiétant : le chiffrement pourrait aussi être menacé