Daily Shaarli

All links of one day in a single page.

June 9, 2025

LLMs don’t do formal reasoning - and that is a HUGE problem

en gros, mêmes les IA qui « raisonnent » ne le font pas vraiment, et s'effondrent très vite, même quand on leur fournit la solution au problème posé.

Par exemple, aucune ne résout actuellement de façon fiable le problème des tours de Hanoï, même si on leur fournit l'algorithme qu'il suffit de suivre.