Aujourd'hui marque une étape importante pour l'IA et les mathématiques. Bien qu'Aristote et d'autres outils aient réalisé d'énormes progrès dans la résolution des problèmes d'Erdos ces derniers mois, il y a toujours eu quelques inconvénients agaçants. Aujourd'hui, le premier problème d'Erdos généré / formalisé de manière autonome par l'IA, utilisant une combinaison d'Aristote et de GPT 5.2 Pro. Le premier d'une longue série.