Libéré
Une version nommée d'un logiciel ou d'un artefact avec une source publique et un enregistrement de distribution.
Grand livre de recherche / Révisé en septembre 2026
Le progrès inclut ce que les preuves excluent.
Lisez les publications, inspectez les protocoles sous-jacents et distinguez les capacités livrées des résultats mesurés et des expériences à venir.
Comment lire le dossier
Mesuré
Une observation selon un protocole et un environnement déclarés ; des conclusions plus larges nécessitent davantage de preuves.
Prospectif
Une question ou un protocole pour des travaux futurs. Il ne s’agit pas d’une expérience exécutée ni d’une capacité démontrée.
2026-09-04 / Hyphae
Hyphae 3.0.0 : un moteur de données locales plus large.
La version étend l'analyse limitée SQL, les opérations d'espace de clé conditionnelle et la recherche lexicale et hybride. Son graphique de caisse complet et ses archives de plate-forme ont des reçus de publication publique. Agent Memory applique le substrat de données partagé à un contexte utile dans les outils de codage.
Le rapport de septembre sur le matériel dédié 3 enregistre les charges de travail SQL, les espaces de clés, la recherche et la validation sur un AWS i7i.metal-24xl. Les résultats appartiennent à la source documentée, au matériel et aux charges de travail ; ils n’établissent pas d’avantage universel en termes de performances.
2026-09-03 / Méthodes formelles
Vérification du protocole de validation avec TLA+.
Le modèle formel de Hyphae vérifie les propriétés d'atomicité, de durabilité, de gestion des conflits et de récupération dans son espace d'états modélisé. Les reçus de spécifications, de configuration et de preuves sont publics.
Il s’agit d’une preuve d’un modèle de protocole abstrait. Il ne s'agit pas d'une preuve formelle de l'implémentation de Rust ou de chaque échec du monde réel.
2026-09-05 / Préimpression 1.1
The Missing Medium : un flux résiduel transactionnel.
Hytorch enregistre les tentatives d'écriture interne pendant la formation et leur fournit des reçus durables ainsi qu'une référence de relecture CPU. La préimpression présente l'instrumentation, la vérification et l'effondrement observé d'un canal de formation malgré l'amélioration de la télémétrie conventionnelle.
L'architecture testée est coûteuse et n'établit pas une meilleure qualité de modèle de langage. Une amélioration globale inversée selon une comparaison préenregistrée ; un défaut de gradient ultérieur limite également l'expérience de capacité rapportée. La réexécution de capacité corrigée reste en attente.
2026-09-12 / Rapport technique
Activité d’écriture, accès factuel et conception de contrôle.
V5 a terminé les lots 2,190. Aucun candidat n'a satisfait à tous les critères de comparabilité préenregistrés : no-control-match. Le rapport publie des variations entre les faits et les positions, des tableaux réduits et une sélection reproductible.
V6 spécifie les bras expérimentaux 17, sans formation exécutée. Le rapport n'établit pas que la mort du canal pendant l'apprentissage provoque des hallucinations. L'édition anglaise, publiée en septembre 13, utilise les mêmes preuves scientifiques que l'édition espagnole.
2026-08-25 / Transformateur
Contrôle de modèle gelé et navigation limitée.
Le travail ultérieur de Transformer forme de petits contrôleurs sur une dorsale gelée et publie des ensembles de contrôle et de navigation déterministes. Le bundle de navigation calibré v2 enregistre une évaluation limitée en deux étapes.
Ces résultats appartiennent aux luminaires, certificats et portes publiés. Ils ne démontrent pas une autonomie illimitée d’agent ou une qualité générale de modèle ; Les tentatives infructueuses d’ombre externe restent dans le dossier de recherche.
Enregistrement historique / Hyphae G7
Matrice de contrôle native à l’échelle opérationnelle.
Le protocole 13 d’août a réalisé des millions d’observations mesurées 33 sur les cellules de surface/simultanéité 33 dans l’environnement nommé DigitalOcean C-60. Il a également enregistré la récupération de millions de validations logiques 3 et le rappel ANN@10 de 1.0 dans chaque cellule mesurée.
Cela prend en charge la comptabilité, l’exactitude, le rappel, la concurrence et la récupération limitées dans cette machine virtuelle. Les mesures du matériel dédié constituent un enregistrement distinct, ultérieur.
Enregistrement historique / Transformateur 30M
Un résultat de stratégie résiduelle maîtrisé.
Sur huit graines appariées, rezero_rms_shared a amélioré la validation finale NLL par 2.33% par rapport à pre_rms, avec un intervalle 95% de [1.59%, 3.06%]. Le résultat a dépassé le seuil pratique 1% préenregistré de la campagne.
La revendication est spécifique au modèle, au corpus, au budget, aux semences et au protocole. Cela n’établit pas la supériorité universelle d’une stratégie résiduelle.
Enregistrement historique / Profondeur du transformateur
Les résultats primaires non concluants restent visibles.
Les campagnes de profondeur antérieures et le résultat initial à trois graines 30M n'ont pas dépassé leurs seuils primaires préenregistrés. Les observations secondaires de vitesse d’entraînement ne changent pas ces verdicts primaires. Un dépassement de budget cloud enregistré fait également partie de l’historique du protocole.
2026-08-24 / BitNet
Mesures ARM et limites des changements de noyau.
Le runtime 0.3.2, distribué sous la balise v0.3.3, conserve le comportement mesuré de NEON DOTPROD et traite son noyau SVE2 compressé comme expérimental. Le code ARM actuel utilise des panneaux Q1 emballés ; Les mesures d'expansion vers int8 antérieures décrivent une disposition historique.
Le pré-remplissage et le décodage sont signalés séparément. Un gain dans une phase, un modèle ou un nombre de threads ne constitue pas une accélération générale de l'exécution.
Pratique de recherche
Les résultats négatifs restent visibles.
Des expériences non concluantes, des affirmations corrigées, des optimisations rejetées et des défauts de protocole aident à déterminer la prochaine question utile. Nous conservons leur portée et leurs sources d'origine.
Les tables Hytorch publiées prennent en charge la reconstruction des agrégats et de la sélection. Le rapport ne redistribue pas chaque artefact historique brut, point de contrôle ou grand livre ; la vérification de la table n'est pas une relecture neuronale.
La preuve doit survivre à la phrase écrite à son sujet.