🔥 JOUR HISTORIQUE 🔥

OpenAI a publié cette nuit 722 papiers mathématiques résultant du travail de leur modèle interne (Bel).

Les recherches de l'IA couvrent plus de 4000 problèmes mathématiques, voici les résultats :
- 3 problèmes du millénaire ont progressé (Riemann, Hodge, BSD) dont Riemann qui est presque résolu
- 162 problèmes ou conjectures prouvés
- 73 problèmes ou conjectures réfutés
- 137 problèmes ont reçu une avancée significative

Cette liste couvre la résolution définitive de 90 problèmes du Top 500 en terme de difficulté.

Il s'agit de la plus grande avancée dans l'histoire des mathématiques. C'est un jour HISTORIQUE.

Source