Les preuves

Des résultats que d’autres ont vérifiés

Vous arrivez depuis un classement ou une liste de solveurs (Packomania, ESA, FlyWire Codex, IBM Ponder This, Erich Friedman) ? Je suis un chercheur indépendant. Je développe un substrat de calcul déterministe, apprenant et évolutif pour construire des IA embarquées, vérifiables et auditables, dont chaque décision se rejoue et se vérifie. Je teste des briques de mon projet, avec des modèles de langage, sur ces défis publics : j’y ai obtenu ces résultats sur du matériel accessible (détaillé dans le programme de recherche), et ce sont les responsables des classements qui les acceptent et les publient, après leurs propres contrôles. Ils montrent qu’une approche combinant modèles probabilistes, recherche structurée, mémoire et vérification déterministe peut produire des solutions contrôlables ; ils ne prouvent pas une intelligence générale.

Ces défis sont un banc d’essai de mon projet. Les résultats ci-dessous ne sont pas évalués par moi : ils sont publiés par les arbitres des classements, qui contrôlent chaque solution selon leurs propres règles. Avant chaque envoi, je vérifie moi-même chaque solution. Une position dans un classement est un état daté, pas un titre définitif : la date du relevé figure à côté de chaque chiffre.

Les résultats en un coup d’œil

• Empilements de cercles (Packomania)
• Empilements de cercles (Erich Friedman)
• Agence spatiale européenne (SpOC 4)
• Connectome de la drosophile (FlyWire Codex)
• IBM Ponder This

Empilements de cercles : la table Packomania « csqv »

Le problème : placer N cercles de rayons libres dans un carré unité, sans chevauchement, pour que la somme des rayons soit la plus grande possible. La table Packomania, tenue par Eckard Specht depuis des années, recense les meilleures valeurs connues pour chaque N.

Empilements de cercles : le Packing Center d’Erich Friedman

Le Packing Center d’Erich Friedman publie des empilements de cercles dont la somme des rayons est maximale, dans un cercle ou dans un rectangle. Chaque entrée porte le nom de la personne qui l’a trouvée et le mois.

Agence spatiale européenne : SpOC 4

Au relevé du 14 octobre 2026, mon profil public Optimize affiche quatre rangs n° 1 dans les classements post-compétition : trois épreuves de Luna Tomato Logistics et l’instance « large » du Keplerian Tomato Traveling Salesperson. La somme des rangs est la meilleure possible (1 + 1 + 1 + 1). Il s’agit d’une synthèse de ces quatre classements, distincte du classement général officiel de SpOC 4 arrêté à la clôture le 30 juin 2026.

Quatre épreuves, deux façons de poser le problème

Luna Tomato Logistics porte sur des décisions de mise en correspondance et de transfert entre ensembles d’orbites et destinations. Keplerian Tomato Traveling Salesperson demande d’ordonner une tournée de cibles en tenant compte de la mécanique orbitale. Les fiches ci-dessous présentent séparément les instances et leurs résultats ; les schémas animés éventuels sont pédagogiques et ne remplacent pas l’évaluateur ESA.

Connectome de la drosophile : quatre défis FlyWire Codex

FlyWire Codex propose des défis de calcul sur le connectome de la drosophile. Ils prolongent ma recherche sur la propagation de l’activité dans les réseaux de neurones et la cartographie du connectome. FlyWire accepte les solutions au classement et annonce vérifier les soumissions ; le titre de « Winner » de chaque défi est attribué à son échéance officielle.

IBM Ponder This, septembre 2026

Chaque mois, IBM Research publie une énigme mathématique et la liste des personnes qui l’ont résolue. En septembre 2026, il fallait trouver une progression arithmétique de 35 nombres de Loesch dont le dernier terme soit le plus petit possible ; un bonus « * » récompensait une progression d’au moins 42 termes.