Loin d'être limite, cet exemple est celui qui a donné l'ordinateur à l'humanité. Quoi qu'il en soit, pour ce type de problème on tombe sous le coup suivant : le problème est formellement circonscrits, on a des algorithmes qui le résolvent à 100% sans aucun risque d'erreurs. Pourquoi donc passer par un LLM pour résoudre cette question ? Déjà qu'une machine de Turing est con comme une huître, mais si en plus en plus son programmeur s'y met, on n'est pas sorti de l'aurberge. :-D
Et tout programmeur cotoit quotidiennement un tel algorithme, vérifier qu'une preuve est logiquement valide cela s'appelle faire du type cheking. Après il y a des systèmes de types plus sérieux que d'autres, d'où le débat sur Rust dans le code du noyau Linux. ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Pourquoi dire IA si on ne parle que des réseaux de neurones ?
Posté par kantien . En réponse à la dépêche Une intelligence artificielle libre est-elle possible ?. Évalué à 4. Dernière modification le 02 mars 2025 à 21:42.
Loin d'être limite, cet exemple est celui qui a donné l'ordinateur à l'humanité. Quoi qu'il en soit, pour ce type de problème on tombe sous le coup suivant : le problème est formellement circonscrits, on a des algorithmes qui le résolvent à 100% sans aucun risque d'erreurs. Pourquoi donc passer par un LLM pour résoudre cette question ? Déjà qu'une machine de Turing est con comme une huître, mais si en plus en plus son programmeur s'y met, on n'est pas sorti de l'aurberge. :-D
Et tout programmeur cotoit quotidiennement un tel algorithme, vérifier qu'une preuve est logiquement valide cela s'appelle faire du type cheking. Après il y a des systèmes de types plus sérieux que d'autres, d'où le débat sur Rust dans le code du noyau Linux. ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.