Разработчик под ником webAI выложил TwIL-LM2 — LoRA-адаптер, который превращает обычный английский текст в выражения языка первого порядка (FOL). База — SmolLM2-1.7B, весит адаптер всего 289 МБ, учимых параметров ~72 миллионов. В строгом режиме решатель требует посимвольного совпадения с эталонной записью — «почти правильный» ответ не пройдёт. Именно здесь выигрывает узкоспециализированный адаптер, а не мощная генеральная модель. Что это значит: мелкие специализированные адаптеры на компактных базах способны побеждать огромные модели в нишевых задачах, где ценится точность, а не широта — и это пересматривает старые представления о том, какой размер модели «достаточен».