il y a une chance que @alexwei_ ait résolu l'agi. a fait beaucoup de progrès sur des tâches difficiles à vérifier. la généralité est de loin le problème le plus difficile à résoudre.
6,26K