Archivara (didukung oleh 5.2 pro dan Opus 4.5) menembus tolok ukur 2019 untuk perkalian matriks melingkar (siklik) 5×5. Konstruksi terverifikasi terbaik membutuhkan peringkat-8 (8 perkalian); Kami sekarang menyediakan algoritma peringkat-7 yang praktis dan sepenuhnya terverifikasi. Ini mewujudkan kemungkinan teoretis yang telah lama dikenal sebagai metode kerja eksplisit.