Tin tức tài chính công nghệ ghi nhận thương vụ lớn nhất trong lĩnh vực AI vào ngày 21/10/2026. Công ty con spin-off từ dự án mã nguồn mở OpenMath-X (có lượng code đóng góp đông đảo nhất trên GitHub chuyên về toán học trong năm nay) đã chính thức khép lại vòng gọi vốn Series C trị giá 10 tỷ USD, định giá công ty lên mức 50 tỷ USD.
OpenMath-X vốn được cộng đồng lập trình viên phát triển để tạo ra các thư viện toán học mã nguồn mở, nhưng các nhà sáng lập đã chuyển hướng sang xây dựng các mô hình AI chuyên biệt cho việc chứng minh định lý và suy luận logic. Điểm đột phá là công nghệ 'Neural-Symbolic Reasoning' kết hợp trí tuệ nhân tạo thần kinh (deep learning) với logic biểu tượng (symbolic logic), giúp AI không chỉ 'đoán' mà còn 'chứng minh' được các công thức, một tính năng cực kỳ quan trọng cho các ngành công nghiệp như bán dẫn, dược phẩm và cơ học lượng tử.
Vòng gọi vốn này không chỉ đơn thuần là tài chính, mà còn là sự hậu thuẫn cho việc mở rộng các cluster đào tạo AI chuyên dụng tại Ba Lan và Phần Lan, hai địa điểm được chọn vì chính sách điện xanh và cơ sở hạ tầng mạng tốc độ cao.