Archivara (alimenté par 5.2 pro et Opus 4.5) dépasse le benchmark de 2019 pour la multiplication de matrices circulaires (cycliques) 5×5. La meilleure construction vérifiée nécessitait un rang-8 (8 multiplications) ; nous proposons maintenant un algorithme pratique et entièrement vérifié de rang-7. Cela réalise une possibilité théorique longtemps connue comme une méthode explicite et fonctionnelle.