OpenBMB mã nguồn mở mô hình hình thức hóa 8B vượt đối thủ 32B
OpenBMB mở mã nguồn MathForm, mô hình 8B dịch toán học sang Lean 4, vượt qua nhiều mô hình hình thức hóa chuyên dụng 32B trên bài kiểm tra khó nhất FATE-X.
Tin tức và phân tích AI toán học
2 bài đã kiểm chứng về AI toán học, sản phẩm và diễn biến ngành.