OpenAI publie près de 400 résultats mathématiques d'un coup

Répartis dans plus de 700 manuscrits, de la théorie des nombres à la physique mathématique, ces résultats générés par IA sont vérifiés à des degrés divers, certains formalisés en Lean. Plus de trente mathématiciens interrogés par The Verge estiment qu'il faudra des années pour tout évaluer.