Tin tức từ 深潮 TechFlow, vào ngày 26 tháng 11, công ty khởi nghiệp AI Harmonic do CEO Robinhood Vlad Tenev đồng sáng lập đã hoàn thành vòng gọi vốn 120 triệu USD, với định giá đạt 1.45 tỷ USD. Vòng gọi vốn này được dẫn dắt bởi Ribbit Capital, có sự tham gia của Sequoia, Kleiner Perkins và nhà đầu tư mới Emerson Collective.
Công nghệ cốt lõi Harmonic “Siêu trí tuệ toán học ( MSI )” dựa trên logic hình thức chứ không phải dự đoán thống kê, nhằm giải quyết vấn đề ảo giác AI. Mô hình flagship Aristotle của nó đã thể hiện xuất sắc tại cuộc thi Olympic toán quốc tế, đạt được trình độ tương đương với các phòng thí nghiệm nghiên cứu hàng đầu của Google và OpenAI.
Aristotle thông qua ngôn ngữ lập trình Lean4 tạo ra các bước suy luận có thể xác minh, đảm bảo rằng kết luận dựa trên logic nghiêm ngặt. Công nghệ này đặc biệt phù hợp với các ngành công nghiệp rủi ro cao như hàng không vũ trụ và tài chính. Hiện tại, Aristotle đã mở cửa cho các nhà phát triển và nhà toán học thông qua API miễn phí, kế hoạch thương mại sẽ được ra mắt sau.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Công ty khởi nghiệp AI Harmonic đã huy động được 120 triệu USD, đạt mức định giá 1,45 tỷ USD.
Tin tức từ 深潮 TechFlow, vào ngày 26 tháng 11, công ty khởi nghiệp AI Harmonic do CEO Robinhood Vlad Tenev đồng sáng lập đã hoàn thành vòng gọi vốn 120 triệu USD, với định giá đạt 1.45 tỷ USD. Vòng gọi vốn này được dẫn dắt bởi Ribbit Capital, có sự tham gia của Sequoia, Kleiner Perkins và nhà đầu tư mới Emerson Collective.
Công nghệ cốt lõi Harmonic “Siêu trí tuệ toán học ( MSI )” dựa trên logic hình thức chứ không phải dự đoán thống kê, nhằm giải quyết vấn đề ảo giác AI. Mô hình flagship Aristotle của nó đã thể hiện xuất sắc tại cuộc thi Olympic toán quốc tế, đạt được trình độ tương đương với các phòng thí nghiệm nghiên cứu hàng đầu của Google và OpenAI.
Aristotle thông qua ngôn ngữ lập trình Lean4 tạo ra các bước suy luận có thể xác minh, đảm bảo rằng kết luận dựa trên logic nghiêm ngặt. Công nghệ này đặc biệt phù hợp với các ngành công nghiệp rủi ro cao như hàng không vũ trụ và tài chính. Hiện tại, Aristotle đã mở cửa cho các nhà phát triển và nhà toán học thông qua API miễn phí, kế hoạch thương mại sẽ được ra mắt sau.