Công ty xác thực hình thức AI Pramaana Labs huy động 27 triệu USD vốn seed, giới thiệu chứng minh toán học LEAN giải quyết hiện tượng ảo giác

robot
Đang tạo bản tóm tắt
Theo giám sát Beating, nhằm đưa xác thực hình thức toán học vào AI, công ty khởi nghiệp Pramaana Labs thông báo đã hoàn thành vòng gọi vốn hạt giống trị giá 27 triệu USD.
Vòng gọi vốn này do Khosla Ventures dẫn đầu, các nhà đầu tư gồm Accel, BoldCap, Nexus Venture Partners, Premji Invest và Unbound tham gia.
Số tiền sẽ được sử dụng để xây dựng lớp xác thực định tính cho các ngành công nghiệp nhạy cảm cao và không khoan nhượng với lỗi như pháp lý, nghiên cứu thuốc, khai thuế, v.v.

Hệ thống của Pramaana Labs vẫn chạy trên nền tảng của các Mô hình Ngôn ngữ Lớn truyền thống để duy trì khả năng xử lý các vấn đề phức tạp và ngôn ngữ tự nhiên linh hoạt, nhưng đổi mới cốt lõi của họ là xây dựng một lớp xác thực định tính trên nền tảng của các Mô hình Ngôn ngữ Lớn.
Cơ chế này lấy cảm hứng từ ngôn ngữ lập trình mã nguồn mở LEAN dùng để xác minh các định lý toán học, mã hóa các quy tắc ngành cụ thể trong lĩnh vực đó.

Để xây dựng hệ thống xác thực hình thức theo phong cách LEAN cho các ngành dọc khác nhau, Pramaana đã mời nhiều chuyên gia trong lĩnh vực tham gia giám sát và chứng thực.
Trong lĩnh vực thuế, công ty đang hợp tác với cựu giám đốc Sở Thuế vụ Hoa Kỳ (IRS) Danny Werfel; trong các hệ thống an ninh mạng và nghiên cứu thuốc, thì do nhóm giảng viên từ Viện Công nghệ Ấn Độ (IIT) Delhi và Madras cùng Đại học California, Berkeley dẫn dắt.
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.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim