TechFlow tin tức, ngày 26 tháng 11, công ty khởi nghiệp AI do CEO Robinhood Vlad Tenev đồng sáng lập Harmonic đã huy động được 120 triệu USD, định giá đạt 1,45 tỷ USD. Vòng tài trợ này do Ribbit Capital dẫn đầu, với sự tham gia từ Sequoia, Kleiner Perkins và nhà đầu tư mới Emerson Collective.
Công nghệ cốt lõi của Harmonic mang tên "Siêu trí tuệ toán học (MSI)" dựa trên logic hình thức thay vì dự đoán thống kê, nhằm giải quyết vấn đề ảo giác AI. Mô hình tiêu biểu Aristotle của công ty thể hiện xuất sắc tại kỳ thi Olympic Toán học Quốc tế, đạt trình độ tương đương các phòng nghiên cứu hàng đầu như Google và OpenAI.
Aristotle sử dụng ngôn ngữ lập trình Lean4 để tạo ra các bước suy luận có thể xác minh được, đảm bảo kết luận dựa trên nền tảng logic nghiêm ngặt. Công nghệ này đặc biệt phù hợp với các ngành có rủi ro cao như hàng không vũ trụ và tài chính. Hiện tại, Aristotle đã được mở miễn phí thông qua API dành cho các nhà phát triển và các nhà toán học, kế hoạch thương mại hóa sẽ được triển khai ở giai đoạn sau.
