Mathématiques · l'expérience
Retrouve le signe qui manque
Un détour élégant par le miroir, un théorème de 2013, un signe lu à l'envers. Quatre questions, du débutant à l'expert, pour suivre la preuve jusqu'au point où elle casse.
1 · La faille2 · Le compte3 · Le doute4 · Le prix
1 · Situe la faille
Débutant
À quelle étape les trois documents d'OpenAI se sont-ils effondrés ?
2 · Compte les croisements pairs
Une immersion a sept points de croisement. On la retouche avec le théorème de 2013, lu avec sa vraie convention de signe.
Intermédiaire
Combien de croisements de degré 2 restent après la retouche ?
3 · Comprends le scepticisme
Avant même le retrait des documents, plusieurs chercheurs doutaient de la construction très générale qu'ils proposaient.
Expert
Sur quelle intuition reposait ce doute ?
4 · Paie le prix de la flexibilité
Expert
Pourquoi le point p n'est-il pas une simple lacune de la preuve, qu'on pourrait combler ?
Signe retrouvé
—