Source: https://www.astrmira.com/fr/
Language: fr

ο CETI / MIRA · THE WONDERFUL STAR · ARTISTIC INTERPRETATION

Une étoile merveilleuse / ASTRMIRA

# Astrmira

Explorer l’inconnu. Construire au-delà de l’horizon.

Des premiers principes à l’intelligence en pratique.

Nous étudions les fondements des données, du calcul et de l’intelligence,  
puis transformons des idées rigoureuses en systèmes utilisables.

[Explorer nos recherches](https://www.astrmira.com/fr/research/)[Découvrir les projets](https://www.astrmira.com/fr/#projects)

[Défiler pour découvrir](https://www.astrmira.com/fr/#practice)

MIRA

Bases de données · Recherche d’information · Vecteurs · Quantification · Post-entraînement · Mathématiques

Notre recherche

## D’une question,  
vers une compréhension nouvelle.

Nous formulons des questions, élaborons des méthodes et éprouvons nos idées par la démonstration et l’expérience. Chaque découverte ouvre une nouvelle enquête.

La recherche en partage

## Continuer à interroger  
l’inconnu.

Des problèmes fondamentaux aux découvertes dans différents domaines, nous rassemblons ici nos articles et les avancées de nos recherches.

[Toutes nos recherches](https://www.astrmira.com/fr/research/)

VECTOR SEARCH · 2026.09

### Quand des vecteurs comprimés prennent-ils les mêmes décisions ?

En quelques mots

When Does Low-Bit Quantization Preserve the Decisions of Vector Search?

Étudie l’erreur de quantification dans les décisions réelles de classement et d’élagage des graphes, en reliant leur fiabilité aux marges de comparaison, aux résidus corrélés et aux traces d’exécution.

Recherche vectorielle · Stabilité des décisions

[Découvrir cette recherche](https://www.astrmira.com/fr/research/papers/low-bit-decisions/)

[arXiv](https://arxiv.org/abs/2609.09854)

LOW-BIT LLMS · 2026.09

### Pourquoi la valeur d’un même changement de quantification varie-t-elle ?

En quelques mots

Contextual Utility of Quantization Moves in Extreme Low-Bit LLMs

Étudie l’utilité réelle d’un déplacement discret dans les LLM à très faible précision, en l’évaluant le long de son propre trajet et en combinant les décisions dans un état de modèle évolutif.

Quantification des LLM · Post-entraînement

[Découvrir cette recherche](https://www.astrmira.com/fr/research/papers/contextual-quantization/)

[arXiv](https://arxiv.org/abs/2609.09867)

REPRESENTATION GEOMETRY · 2026.05

### Que reste-t-il avec un ou deux bits ?

En quelques mots

Covariance Structure and Coordinate Heterogeneity Govern Binary Quantization of Contrastive Embeddings

Explique le classement à faible précision par la covariance et l’hétérogénéité des coordonnées, notamment les effets différents d’un bit de magnitude supplémentaire et d’une rotation aléatoire selon les représentations.

Géométrie des représentations · Quantification binaire

[Découvrir cette recherche](https://www.astrmira.com/fr/research/papers/covariance-binary-quantization/)

[arXiv](https://arxiv.org/abs/2605.17524)

SEARCH SYSTEMS · 2026.05

### QuIVer : construire le graphe de recherche directement dans l’espace binaire

En quelques mots

QuIVer: Rethinking ANN Graph Topology via Training-Free Binary Quantization

Construit, élague et parcourt un graphe de voisins approximatifs dans un espace à deux bits sans apprentissage. Les vecteurs complets ne sont lus qu’au reclassement final, et les régimes de données adaptés à cette topologie sont explicités.

Plus proches voisins approximatifs · Index de graphes

[Découvrir cette recherche](https://www.astrmira.com/fr/research/papers/quiver/)

[arXiv](https://arxiv.org/abs/2605.02171)

Articles · Résultats · Avancées

Notre pratique

## L’exploration se poursuit  
au-delà de l’article.

La recherche fondamentale élargit le possible. Construire des systèmes permet aux problèmes réels de lui répondre.

Des idées qui prennent forme

## Donner corps  
à la recherche.

Des fondations de données aux compagnons intelligents et à l’exécution durable de tâches complexes.

[Tous les projets](https://www.astrmira.com/fr/projects/)

Systèmes

### TriviumDB

Une base de données embarquée en Rust, conçue pour l’IA, qui unifie vecteurs, graphes de propriétés et documents pour la mémoire des agents et les connaissances locales.

Vecteurs · Graphes · Documents

<https://www.astrmira.com/fr/projects/data-systems/>

Intelligence

### infOS

Un environnement d’exécution ouvert pour les compagnons IA, reliant mémoire à long terme, contexte et outils pour des conversations suivies et des interactions sur ordinateur.

Mémoire · Contexte · Outils

<https://www.astrmira.com/fr/projects/agent-platform/>

Infrastructure d’agents

### Piarium

Un Agent Harness complet pour l’ingénierie complexe : recherche dans le code, contexte et mémoire, coordination multi-agent et livrables vérifiables.

Contexte · Exécution · Vérification

<https://www.astrmira.com/fr/projects/piarium/>

À propos de notre nom

## Une étoile merveilleuse.  
Une curiosité durable.

Les étoiles changent. La curiosité demeure.

Astr évoque le ciel lointain ; Mira est une véritable étoile variable ; Mirage, un horizon imaginé encore à atteindre. Ces images se rejoignent dans notre nom chinois, 幻梦星芒.

Mira change d’éclat et laisse une longue traînée ultraviolette. Elle nous invite à préserver l’imagination face à l’inconnu et à laisser une trace que d’autres pourront prolonger.

[L’inspiration du nom · NASA ↗](https://apod.nasa.gov/apod/ap070817.html)

Posons la prochaine question

## La prochaine question à explorer  
viendra peut-être de vous.

Bases de données et systèmes intelligents · Recherche conjointe · Partenariats universitaires  
Une collaboration féconde peut commencer par un problème concret.

[Engager la conversation](https://www.astrmira.com/fr/collaborate/)
