Startup AI Harmonic, đồng sáng lập bởi CEO Robinhood Vlad Tenev, đã thành công huy động được 120 triệu đô la trong một vòng gọi vốn do Ribbit Capital dẫn đầu, với sự đóng góp từ Sequoia, Kleiner Perkins và Emerson Collective. Khoản đầu tư mới nhất này đã nâng định giá của Harmonic lên 1,45 tỷ đô la. Công nghệ đổi mới của Harmonic, 'Trí tuệ Siêu hình Toán học (MSI),' được thiết kế để khắc phục các vấn đề ảo giác AI bằng cách sử dụng logic hình thức thay vì dự đoán thống kê. Mô hình chủ lực của họ, Aristotle, đã thể hiện kết quả ấn tượng tại Olympic Toán học Quốc tế, cạnh tranh với các phòng thí nghiệm 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 lập luận có thể xác minh, làm cho nó đặc biệt có giá trị trong các lĩnh vực rủi ro cao như hàng không vũ trụ và tài chính. Hiện tại, mô hình này có thể truy cập được cho các nhà phát triển và nhà toán học thông qua API miễn phí, với kế hoạch thương mại hóa đang được tiến hành.