AxiomProver a résolu le problème Erdos n° 481 en 5 heures. La version simplifiée n° 124 a pris plus de 24 heures (ouf !) et n'était pas aussi concise que nous l'aurions souhaité.
Notre entreprise a quatre mois et demi et nous avons encore beaucoup de chemin à parcourir. Il s'agit de résoudre des problèmes d'Erdős : une chasse aux Pokémon mathématiques. Les mathématiques véritables sont des découvertes profondes dans toutes les branches des mathématiques, en particulier celles qui possèdent une littérature abondante. En avant !