Traduction d'une courte note de Knuth sur la résolution par l'IA Claude d'une de ses conjectures

lien vers la traduction

Alors, forcément, moi aussi, j'ai eu envie d'exposer mon souci à mon IA préférée, j'ai nommé Mistral, cocorico.
au sujet d'une modélisation par des CW-complexes lien 1
et au sujet des carrés de Steenrod (en fait, le terme carré dans ce cas n'a quand même pas tout à fait à voir avec la notion de carré géométrique, quoiqu'un peu quand même) lien 2
Elle a bon ?...