Posts about démonstration

L’IA balance une démonstration mathématique qui laisse les humains sur le carreau

Cinquante ans que les matheux se prenaient la tête sur ce problème. L'IA vient de le résoudre en une après-midi.