Harmonic, Startup AI "con cưng" của CEO Robinhood, tung chatbot "bá đạo" giải toán, tự tin chinh phục "siêu trí tuệ toán học"
Giữa cơn sốt AI đang bùng nổ, một tân binh vừa gia nhập cuộc đua, hứa hẹn mang đến một giải pháp đột phá cho lĩnh vực suy luận toán học. Harmonic, startup AI do chính CEO Robinhood Vlad Tenev đồng sáng lập, vừa chính thức ra mắt phiên bản beta của ứng dụng chatbot AI trên iOS và Android, mang tên Aristotle. Tham vọng của họ không hề nhỏ: tạo ra một "siêu trí tuệ toán học" (MSI) và giải quyết triệt để vấn đề "ảo giác" – một trong những nhức nhối lớn nhất của các mô hình AI hiện nay.
Điểm đặc biệt của Aristotle nằm ở khả năng đảm bảo "không ảo giác" trong các lĩnh vực mà nó hỗ trợ, đồng thời xác minh kết quả đầu ra một cách chính xác. Harmonic tin rằng, với Aristotle, người dùng sẽ có một công cụ đáng tin cậy để giải quyết các bài toán phức tạp, từ đó ứng dụng vào nhiều lĩnh vực khác như vật lý, thống kê và khoa học máy tính.
"Aristotle là sản phẩm đầu tiên dành cho mọi người có khả năng suy luận và xác minh kết quả một cách chính thức," CEO kiêm đồng sáng lập Harmonic, Tudor Achim, chia sẻ trong một cuộc phỏng vấn với TechCrunch. "Trong các lĩnh vực mà Aristotle hỗ trợ, đó là các lĩnh vực suy luận định lượng, chúng tôi thực sự đảm bảo rằng không có ảo giác."
Harmonic không chỉ dừng lại ở ứng dụng di động. Startup này đang ấp ủ kế hoạch phát hành API để các doanh nghiệp có thể tích hợp Aristotle vào hệ thống của mình, cũng như ra mắt ứng dụng web dành cho người dùng cá nhân.
Khả năng của Aristotle đã được chứng minh thông qua một bài kiểm tra chính thức, khi mô hình này đạt thành tích huy chương vàng tại kỳ thi Olympic Toán Quốc tế (IMO) 2025. Điều đáng chú ý là, khác với các mô hình AI khác của Google và OpenAI vốn chỉ đạt được thành tích tương tự thông qua các bài kiểm tra không chính thức bằng ngôn ngữ tự nhiên, Aristotle đã vượt qua thử thách này bằng cách "dịch" các bài toán thành định dạng mà máy có thể đọc được.
Việc Harmonic tung ra Aristotle diễn ra chỉ vài tuần sau khi startup này huy động thành công 100 triệu USD trong vòng Series B, được dẫn dắt bởi Kleiner Perkins, nâng định giá của công ty lên tới 875 triệu USD.
Achim tự tin khẳng định rằng Harmonic đang "tiến rất nhanh" trên con đường đạt được MSI và các nhà đầu tư tin rằng đây là một mức định giá hợp lý, xét đến quy mô tham vọng của startup này.
Trong bối cảnh nhiều công ty công nghệ hàng đầu đang tập trung vào việc đào tạo các mô hình AI để giải quyết các bài toán, Harmonic đang đi một con đường riêng. Họ tin rằng, khả năng giải toán không chỉ có giá trị tự thân, mà còn là một lĩnh vực độc đáo có thể kiểm chứng, đòi hỏi các kỹ năng suy luận cốt lõi.
Achim cho biết Harmonic đạt được độ chính xác cao bằng cách yêu cầu Aristotle tạo ra các phản hồi bằng ngôn ngữ lập trình mã nguồn mở Lean. Trước khi đưa ra câu trả lời cho người dùng, mô hình sẽ kiểm tra lại tính chính xác của giải pháp thông qua một quy trình thuật toán mà không cần đến AI.
"Công nghệ tương tự được sử dụng để xác minh kết quả trong các lĩnh vực có rủi ro cao như thiết bị y tế và hàng không," Achim nói.
Mặc dù chỉ tập trung vào một lĩnh vực hẹp, việc đạt được hiệu suất "không ảo giác" từ một mô hình AI vẫn là một nhiệm vụ vô cùng khó khăn. Các nghiên cứu đã chỉ ra rằng ngay cả các mô hình AI hàng đầu cũng thường xuyên "ảo giác", và vấn đề này dường như không được cải thiện. Thậm chí, các mô hình suy luận AI mới nhất của OpenAI còn "ảo giác" nhiều hơn so với các mô hình cũ của họ.
Sự ra mắt của Aristotle không chỉ là một bước tiến mới trong lĩnh vực AI, mà còn là một lời khẳng định về tiềm năng to lớn của việc ứng dụng AI vào giáo dục và nghiên cứu khoa học. Liệu Harmonic có thể thực hiện được tham vọng "siêu trí tuệ toán học" của mình? Câu trả lời vẫn còn ở phía trước, nhưng rõ ràng, họ đã đặt một viên gạch quan trọng trên con đường đó.