Модель TwIL-LM2 доказывает, что узкоспециализированный ИИ с 1.7 млрд параметров может превзойти значительно более крупные универсальные модели в строгих задачах формальной логики. Этот результат подтверждает, что узкая донастройка является более эффективным методом для сложных рассуждений, чем простое увеличение масштаба модели.