Oui c'est scandaleux que les LLM n'ait pas répondu ! D'autant que les problèmes NP complet sont parfaitement décidables, juste long à calculer, mais ce sont des théorèmes dont la démonstration ou refutation est parfaitement automatisable. D'ailleurs ma machine le fait à chaque fois que j'installe un paquet OCaml via le gestionnaire de paquets opam (il doit résoudre un problème NP complet).
Voilà un titre choc : des millions de personnes par jour font démontrer automatiquement des théorèmes par leur ordinateur à chaque qu'il font apt install et personne n'en parle !
Si on demande à gemini un apt install firefox, il hallucine à tous les coups et installe chrome. :-P
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Au-delà du problème de Erdös
Posté par kantien . En réponse au lien Commentaire de gro-tsen sur la vidéo de Mr phi sur la résolution par LLM du problème de la distance unitaire. Évalué à 3 (+1/-0).
Oui c'est scandaleux que les LLM n'ait pas répondu ! D'autant que les problèmes NP complet sont parfaitement décidables, juste long à calculer, mais ce sont des théorèmes dont la démonstration ou refutation est parfaitement automatisable. D'ailleurs ma machine le fait à chaque fois que j'installe un paquet OCaml via le gestionnaire de paquets
opam(il doit résoudre un problème NP complet).Voilà un titre choc : des millions de personnes par jour font démontrer automatiquement des théorèmes par leur ordinateur à chaque qu'il font
apt installet personne n'en parle !Si on demande à gemini un
apt install firefox, il hallucine à tous les coups et installe chrome. :-PSapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.