Les mathématiciens humains dépassés par les contre-exemples
L'IA repousse les limites du possible en mathématiques, générant des contre-exemples inédits et formalisés en temps réel. Comment les mathématiciens humains peuvent-ils s'adapter à cette nouvelle ère ?