Я использую GLM как «молотилку»: отдаю ей большой объём реализации. Модель хорошая, “рабочая лошадка”, но иногда тупит. Я решил проверить, помогут ли ему несколько готовых примеров поверх уже существующих контрактов и автоматических проверок. И получится ли внедрить эту семантику в протоколы. Провёл два небольших эксперимента: сначала на локальных моделях, затем на GLM и Haiku. Академической строгости здесь нет, но практический сигнал получился достаточно заметным, чтобы продолжить тесты на раб…
