TwIL-LM3-Pro 3,66 tỷ tham số của webAI vượt VibeThinker 35% trong logic formal

webAI, có trụ sở tại Austin, vừa phát hành mô hình suy luận mới dành cho phần cứng local, kèm công cụ mã nguồn mở dùng để kiểm tra suy luận và phê bình chứng minh. Mô hình TwIL-LM3-Pro có 3,66 tỷ tham số, dẫn đầu các mô hình suy luận nhỏ trong lĩnh vực logic formal, đạt điểm cao hơn VibeThinker-3B của Trung Quốc 35%, cao hơn Qwen3.5-4B 24% và cao hơn LFM2.5-8B-A1B của Liquid AI 47%. Trong bài đánh giá GSM8K về toán lời, mô hình đạt 94,3%, gần bằng kết quả 97,7% của gpt-oss-120b mặc dù mô hình đó có 33 lần nhiều tham số hơn.

Mô hình được phát hành dưới dạng bản build Q4 kích thước 2,09GiB, chạy qua llama.cpp trên CPU hoặc GPU local để giữ dữ liệu riêng trên thiết bị. Bản phát hành này đến sau mức tải xuống 500.000 lần của các mô hình thế hệ đầu tiên của webAI trong một tháng. Hiện webAI đang phát triển Meridian, chuỗi mô hình trên thiết bị cấp tiền tuyến, sẽ có sẵn qua ứng dụng webAI.