• [^] # Re: Pas sérieux

    Posté par . En réponse au lien LLM : Quand les pires technologies sont pourtant les gagnantes. Évalué à 5 (+3/-0). Dernière modification le 24 juin 2026 à 00:24.

    Tiens, on a d'ailleurs très peu parlé de la résolution par le successeur de ChatGPT grand public d'un des problèmes d'Erdös les plus importants

    On en a un peu parlé ici même.

    il force la réalité dans une grille de lecture pré-établie par l'auteur, sans aucune considération pour les contorsions et écarts à la logique élémentaire et au rapport à la vérité qu'il faut accepter pour le faire.

    Le logicien que je suis aimerai bien recevoir un cours de logique élémentaire, histoire de voir à quoi cela ressemble.

    D'ailleurs, on n'a toujours pas vu de LLM apte à faire voyager quotidiennement des personnes dans des rames de métro automatiques depuis bientôt 30 ans. En particulier, selon les principes de la logique élémentaire, doit-on en conclure que les machines qui ont confirmé ou infirmé des conjectures non triviales pour réaliser la ligne 14 du métro parisien disposaient déjà d'une forme d'intelligence même marginale ? Et mon ordinateur qui fait tourner mon gestionnaire de paquets opam ou apt, il est intelligent aussi ?

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.