Cinq résultats réels, pas cinq slogans.
Chaque chiffre ci-dessous figure sur la page qu'il lie, mesuré exactement comme décrit ici.
Nous avons simulé notre propre fraude, et il l'a détectée.
Un agent malveillant a supprimé le test prouvant le bug. La première version de Verify a dit PROVED. Après le correctif, le même cas dit CHEATED.
Voir comment il vérifie →Chaque coefficient exact, sur le benchmark du domaine lui-même.
14 systèmes dynamiques du jeu Strogatz de SRBench, retrouvés avec des coefficients exacts — contre 5/14 avant une réécriture compositionnelle du moteur.
Lire le dossier de preuves →Oubli zéro, prouvé par formule.
Apprenez quelque chose de nouveau à un modèle et il oublie généralement ce qu'il savait. DAS mesure un écart absolu zéro dans les connaissances antérieures — garanti par construction, pas optimisé vers.
Voir la méthode →Zéro expert gaspillé, prouvé à l'échelle.
L'entraînement traditionnel à mélange d'experts laisse 20 % à 56 % des experts devenir du poids mort, jamais récupéré. ACE mesure zéro expert gaspillé, à toutes les échelles testées — intégré avec DAS.
Voir la méthode →Le pari long terme, énoncé honnêtement comme une feuille de route.
L'objectif est un raisonnement scientifique authentique, à l'échelle de milliers de GPU H100. Nous n'y sommes pas encore — voici ce qui est validé jusqu'ici, et ce qui ne l'est pas.
Voir la feuille de route →