SciLibMath v1

Первая базовая модель эмбеддинга по англоязычным формулировкам теорем. Заменена на v2; сохраняется для воспроизводимости исследовательских прогонов.

SciLibMath v1 — первая итерация модели эмбеддингов SciLib (январь 2026). Принимала на вход только англоязычную формулировку утверждения, размер вектора 256. Использовалась в первых публикациях лаборатории и в раннем прототипе MathLib Explorer. Полностью заменена на v2.0; сохраняется в каталоге для воспроизводимости результатов ранних прогонов и сравнительных экспериментов.