Harmonic mở rộng sang xác minh phần mềm và chip
Harmonic, một startup AI do CEO Robinhood Vlad Tenev đồng sáng lập, đang mở rộng mô hình Aristotle từ các chứng minh toán học sang xác minh phần mềm và thiết kế chip. Hệ thống tập trung vào lập luận này nhằm giảm thiểu các lỗi thực tế trong khi xử lý các tác vụ kỹ thuật phức tạp.
Xurve View
Thông tin chuyên sâu:
Xurve View
Harmonic, startup AI do CEO của ROBINHOOD MARKETS INC - A Vlad Tenev đồng sáng lập, đã mở rộng mô hình Aristotle sang lĩnh vực xác minh phần mềm và chip vào sáng thứ Ba. Nền tảng AI tập trung vào lập luận này tiến xa hơn các chứng minh toán học để nhắm vào các lỗ hổng nghiêm trọng trên toàn bộ cơ sở hạ tầng kỹ thuật số. Việc mở rộng diễn ra khi hoạt động phát hiện lỗi tự động đang thu hút sự giám sát chặt chẽ từ các đội ngũ kỹ thuật toàn cầu.
