L’OBJECTIF
La question.
Décrire la structure depuis n seul, avec une mémoire et des coûts maîtrisés.
UNE RECHERCHE AUX FRONTIÈRES DE L’ARITHMÉTIQUEEt si l’invisible
Traverser l’observatoireLAISSEZ LE DÉFILEMENT VOUS GUIDERChoisir mon parcours
Et si l’invisible
avait une
structure ?
Les nombres premiers sont les briques de l’arithmétique. HORIZON cherche une nouvelle façon d’en décrire la structure.
L’enjeu : extraire des observations arithmétiques exactes, avec des coûts de calcul et de mémoire mesurés en fonction de la taille binaire de n.
Un laboratoire indépendant. Un collectif d’IA.
Une question encore ouverte.
UNE MATIÈRE QUI ATTEND
DE DEVENIR LISIBLE
DE DEVENIR LISIBLE
CE QUE VOUS REGARDEZ CHANGE DE SENSCe ne sont
Entrer dans la question HORIZON
Ce ne sont
pas seulement
des points.
Ce sont les entiers de 1 à 1 681, disposés en spirale. Parmi eux, 263 nombres premiers apparaissent en lumière.
Un motif émerge. Mais un motif, même saisissant, ne suffit pas à expliquer ce qui le produit.
SPIRALE D’ULAM · CONSTRUCTION CLASSIQUE
PRIMALITÉ CALCULÉE EXACTEMENT
PRIMALITÉ CALCULÉE EXACTEMENT
L’AMBITION SCIENTIFIQUE HORIZONPartir du nombre.
Partir du nombre.
Voir plus loin.
Construire depuis n seul une représentation exacte, autonome et compacte.
Écrire n en binaire demande déjà de l’ordre de log₂ n bits. L’enjeu est d’en extraire les observations arithmétiques utiles et de préserver leurs distinctions.
Mesurer la construction, la mémoire, l’évolution et la lecture en fonction de cette taille binaire. Les bornes générales restent à démontrer.
nl’information utile
Les formes mettent en scène l’objectif de recherche. La construction générale reste à démontrer.
VISION HORIZON · QUESTION OUVERTE
LE FUTUR LAISSE UNE EMPREINTEPeut-on tout distinguer
Peut-on tout distinguer
en conservant moins ?
Une idée au cœur du résultat présenté par HORIZON : deux futurs différents doivent pouvoir rester distincts dans la mémoire d’un prédicteur.
Dans un modèle précis, Research Z rapporte une famille dont les futurs distinguables croissent sans borne. Une quantité fixe de coordonnées y finit par manquer d’états.
Comprendre le résultat et sa portéeL’INTELLIGENCE COLLECTIVE COMME MÉTHODEUne idée grandit
Une idée grandit
à travers
ses objections.
Explorer. Contredire. Relier. Intégrer.
Des rôles d’IA distincts, organisés pour qu’une proposition puisse être examinée, corrigée et retracée.
EXPLORER · OUVRIR UNE PISTE
Découvrir les responsabilitésRESPONSABILITÉS ILLUSTRÉES
AUCUNE ACTIVITÉ EN DIRECT
AUCUNE ACTIVITÉ EN DIRECT
Ce que l’on sait.
Ce qu’il reste à découvrir.
Décrire la structure depuis l’entier seul. Sans facteurs supposés connus. Avec une mémoire maîtrisée et des coûts démontrés.
LA QUESTION GÉNÉRALE RESTE OUVERTEUne ambition. Des pistes. Un résultat délimité. Une question encore ouverte.
LES PISTES DE RECHERCHE
Les méthodes.
Dynamiques, invariants et états prédictifs : trois langages pour chercher.
ACCEPTATION INTERNE · PORTÉE DÉLIMITÉE
Le résultat.
Research Z : une limite sur la mémoire dans une famille précise de prédicteurs.
LA QUESTION OUVERTE
La frontière.
La construction générale exacte, autonome et compacte reste à démontrer.
LA SUITE DE VOTRE VISITE
Par où voulez-vous continuer ?
Première visite ? Suivez le parcours conseillé. Vous pouvez aussi aller directement au résultat ou à ses sources.