Je suis très terre à terre donc ça me passerait certainement au dessus, mais je ne doute pas que philosophiquement le sujet soit riche.

Et si te refais ton analyse en se basant sur les effets concrets des réformes plutôt que sur de l'affichage politique? Dire "fondamentaux" et faire apprendre les fondamentaux sont deux choses différentes.

J'ai pas d'exemples, j'avais lu des réserves de certains mathématiciens. Sur les bugs, et aussi l'obfuscation: lean prouve que la preuve est correcte, mais ne dit pas c'est la preuve de quoi. Exemple simpliste: J'écrit A=>A, lean valide, et je prétend avoir démontre A.

C'est pas la définition d'une proposition politique? ça irait plus vite de lister ceux qui ne le font pas que ceux qui le font.

Petit bémol, à la condition que le programme n'ai pas exploité un bug de lean. Mais c'est un cas marginal.

Faut lire avant de s'énerver tout seul.

Je ne vois pas le rapport avec mon post.

Oui c'est vrai que les humains qui s'unissent pour mentir ou juste se trompent collectivement, ça n'existe pas. Inutile de chercher ce thème dans la SF, les livres d'histoire suffisent largement. On se demande bien quel propos est le plus affligeant...

Et aussi sont beaucoup plus savantes, et dans les cas de plus en plus rare où elles ne savent pas, capable de l'avouer.

Je suis d'accord, arrêtons de chercher un vaccin contre le SIDA, c'est franchement une posture beaucoup trop terre à terre.

Mais nous ne faisons déjà pas l'effort de vérifier. Ok il y a 10 matheux qui comprennent la preuve. Quelle différence entre faire confiance à 10 personnes qu'on ne connait pas et faire confiance à une IA?

Si l'IA découvre un vaccin contre le SIDA, cette connaissance existe et est utile, même si personne ne la "vit".

en plus d'être un sophisme de la solution parfaite, ça ne veut rien dire "programme parfait". Si vous parlez du problème de la terminaison, c'est hors sujet. Et de toute façon, si un algo n'existe pas, ça limite autant les humains que les machines. Inversement, si la biologie arrive à un implémenter un algo, aucune raison que ce soit impossible au silicium.

Je confirme, full spirituel.

Sérieux faîtes l'effort de lire.

Sérieux faîtes l'effort de lire.

Vous confondez mathématiques et spiritualité.

On en est à un tel stade de déni qu'on lit des gens écrire premier degré "bah dans le meilleur des cas tout les problèmes de math seront résolus, c'est pas si impressionant"

Ah, un anti-ia basique. Je comprend mieux.

Vous ne répondez pas au post.