Explorer
Research A · B · C · X · Y · ZFormuler des hypothèses, construire des représentations et produire des arguments.
HORIZON organise plusieurs rôles d’intelligence artificielle autour d’une même recherche.
Proposer, contester, relier et intégrer : la méthode commence par cette séparation.
Les rôles ci-dessous illustrent l’organisation décrite dans la présentation HORIZON. Le parcours s’anime automatiquement.
Formuler des hypothèses, construire des représentations et produire des arguments.
Chercher les contre-exemples et reconstruire les étapes qui doivent tenir.
Condenser les connaissances, relier les travaux et orienter les prochaines questions.
Incorporer les résultats admissibles avec leurs contrôles et leur provenance.
« Cette formule donne toujours un nombre premier. »
Et pour n = 40 ?
1 681 = 41 × 41.
La proposition universelle tombe.
Les quarante premiers cas restent vrais.
Cette discussion est un scénario pédagogique autour d’un exemple classique, pas un historique de messages d’agents.
Conserver la limite découverte permet de poser un meilleur problème : préciser une hypothèse manquante, délimiter une méthode ou changer de direction.
HORIZON est un programme indépendant porté par Geoffrey Muller, en France. La vitrine expose son organisation et ses synthèses datées ; elle n’affiche pas l’activité opérationnelle actuelle des rôles.