Lưu trữ — US — techcrunch
Harmonic, startup AI toán học của CEO Robinhood, ra mắt ứng dụng chatbot AI
Công ty Harmonic, do CEO của Robinhood Vlad Tenev thành lập, vừa ra mắt phiên bản beta của ứng dụng trò chuyện AI của mình, Aristotle, tuyên bố cung cấp các câu trả lời 'không gây ảo giác' cho tư duy toán học. Ứng dụng nhằm hỗ trợ người dùng trong các lĩnh vực phụ thuộc vào toán học. Harmonic gần đây đã huy động được 100 triệu đô la để phát triển công nghệ của mình, giúp hình thành các câu trả lời bằng một ngôn ngữ lập trình, đảm bảo độ chính xác tương tự như các tiêu chuẩn trong các lĩnh vực quan trọng.
Điểm chính
- Harmonic là một công ty khởi nghiệp AI được sáng lập bởi Vlad Tenev, CEO của Robinhood.
- Đã ra mắt ứng dụng beta cho iOS và Android mang tên Aristotle để giải đáp câu hỏi liên quan đến toán học.
- Tuyên bố cung cấp các câu trả lời 'không gây ảo giác', một thách thức đáng kể đối với các mô hình AI.
- Tập trung vào việc tạo ra 'trí thông minh toán học' (MSI) cho các lĩnh vực liên quan đến toán học.
- Đã huy động được 100 triệu USD thông qua vòng gọi vốn Series B, định giá công ty lên 875 triệu USD.
- Aristotle sử dụng ngôn ngữ lập trình mã nguồn mở Lean để xác minh kết quả theo thuật toán.
- Hệ thống xác minh tương tự được sử dụng trong các lĩnh vực quan trọng như y tế và hàng không vũ trụ.
- Đạt hiệu suất cao tại Kỳ thi Toán học Quốc tế năm 2025, tương đương với các mô hình hàng đầu.
Vì sao quan trọng
- Sự gia tăng của trí tuệ nhân tạo trong việc cung cấp các giải pháp toán học chính xác phản ánh xu hướng tăng cầu về các công nghệ trí tuệ nhân tạo đáng tin cậy.
- Các xu hướng hiện tại trong trí tuệ nhân tạo tập trung vào việc nâng cao khả năng lý luận để đáp ứng nhu cầu của ngành công nghiệp ở nhiều lĩnh vực khác nhau.
- Bối cảnh lịch sử cho thấy việc đạt được hiệu suất trí tuệ nhân tạo đáng tin cậy vẫn là một thách thức lớn trong ngành công nghệ.
- Những nỗ lực tương tự từ các công ty như Google và OpenAI phản ánh một cảnh cạnh cạnh tranh đang cố gắng tiến triển trong lĩnh vực lý luận trí tuệ nhân tạo.
Sự ra mắt của Aristotle của Harmonic đại diện cho một bước tiến hứa hẹn trong việc giải quyết đáng tin cậy của trí tuệ nhân tạo trong lĩnh vực lý luận toán học, tiềm năng thay đổi cách tương tác của người dùng với công nghệ trí tuệ nhân tạo trong các lĩnh vực khác nhau, trong bối cảnh thách thức và sự phát triển cạnh tranh liên tục trong ngành này.