Au-delà des cerveaux de chat : explorer les limites de la cognition avec des cerveaux plus grands

2025-05-28
Au-delà des cerveaux de chat : explorer les limites de la cognition avec des cerveaux plus grands

Cet article explore la relation entre la taille du cerveau et les capacités cognitives, en particulier les nouvelles capacités cognitives qui pourraient émerger lorsque la taille du cerveau dépasse de loin celle des humains. À partir des progrès récents des réseaux neuronaux et des grands modèles de langage, et en intégrant les connaissances de la théorie de la computation et des neurosciences, l'auteur analyse comment les cerveaux traitent de grandes quantités de données sensorielles et prennent des décisions. L'article soutient que les cerveaux exploitent des « poches de réductibilité » au sein de l'irréductibilité computationnelle pour naviguer dans le monde, et que les cerveaux plus grands pourraient être capables d'exploiter davantage ces poches, conduisant à des capacités d'abstraction plus fortes et à un langage plus riche. Enfin, l'article explore la possibilité de consciences dépassant la compréhension humaine et les sommets potentiels que l'IA pourrait atteindre.

Lire plus
IA

Le Jeu de la Vie : Chronique de six décennies d’innovation en ingénierie

2025-03-19
Le Jeu de la Vie : Chronique de six décennies d’innovation en ingénierie

Cet article explore près de six décennies de développement de « méta-ingénierie » dans le Jeu de la Vie de Conway. L’auteur retrace l’arc d’innovation, des structures statiques simples aux machines de calcul complexes, en analysant les rôles de « l’invention » et de la « découverte » (correspondant respectivement à la construction manuelle et à la recherche algorithmique), et en explorant des concepts tels que la modularité et l’irréductibilité computationnelle. En analysant l’évolution de diverses structures, telles que les oscillateurs, les planeurs et les canons à planeurs, l’article révèle des schémas dans l’innovation en ingénierie du Jeu de la Vie et les compare à l’évolution biologique, offrant ainsi une perspective unique sur la nature du progrès technologique.

Lire plus

Peut-on comprendre cette preuve ? Un aperçu de la mathématique formalisée

2025-01-10
Peut-on comprendre cette preuve ? Un aperçu de la mathématique formalisée

Stephen Wolfram explore une énigme mathématique de longue date : la preuve d’un axiome étonnamment simple pour l’algèbre booléenne. Générée à l’aide d’une démonstration automatique de théorèmes, la preuve est incroyablement complexe et reste incompréhensible pour les humains. L’article explore les complexités de la preuve, dissèque ses opérations au niveau du « code machine » et propose un défi : humaniser cette preuve. Il discute du potentiel des grands modèles de langage (LLM) pour comprendre et simplifier la preuve, ainsi que des implications pour l’avenir des mathématiques. La conclusion suggère que certaines preuves mathématiques peuvent être intrinsèquement ininterprétables, ce qui indique que les mathématiques ressembleront de plus en plus à une science expérimentale.

Lire plus