Blog

Ce que les machines de Turing ne peuvent pas faire, et pourquoi c'est important

Pourquoi les cerveaux et l'IA sont des « machines de Turing approximatives »

L'abstraction élégante qui définit ce que signifie calculer

Une famille de preuves qui construisent des objets qui diffèrent nécessairement de chaque élément d'une liste

Pourquoi supprimer du contexte d'une conversation LLM force un recalcul complet