Software Evolver · Công nghệ đang chờ cấp bằng sáng chế
Chương trình nhỏ gọn, được tìm ra tự động.
Cấp phép Software Evolver đang chờ cấp bằng sáng chế của chúng tôi. Bạn xác định mục tiêu bằng các ca kiểm thử và một điểm số; Software Evolver tìm kiếm trong hàng triệu chương trình ứng viên với tốc độ lên đến 26.8 tỷ lượt đánh giá mỗi giây và trả về các chương trình nhỏ gọn, chính xác cho SFA Non-Von-Neumann Architecture.
Mô tả mục tiêu. Nhận chương trình.
Xác định mục tiêu dưới dạng các ca kiểm thử và một điểm số. Software Evolver tìm kiếm các chương trình thực thi nhỏ đáp ứng mục tiêu đó và trả về những chương trình tốt nhất tìm được.
Lên đến 26.8 tỷ lượt đánh giá mỗi giây
Được đo trên một mục tiêu benchmark được ghi nhận bằng tài liệu, trên một bộ xử lý AMD EPYC 9455. Một lượt đánh giá là một chương trình ứng viên chạy trên một ca kiểm thử; con số này là tích của số thế hệ mỗi giây, số ứng viên mỗi thế hệ và số ca kiểm thử mỗi mục tiêu. Software Evolver cũng chạy trên GPU NVIDIA.
Có thể tái lập và đã được xác minh
Mọi lần chạy đều có thể tái lập, và mọi chương trình được trả về đều được kiểm tra chính xác theo mục tiêu của nó.
Chương trình, không phải trọng số không minh bạch
Kết quả là các chương trình nhỏ gọn có thể đọc, đơn giản hóa, kiểm thử và triển khai như bất kỳ mã nào khác.
Và cả toán học chính xác
Cùng quá trình tìm kiếm đó cũng tìm ra toán học chính xác và các quy luật nhỏ gọn: công thức trong dữ liệu đo, hằng đẳng thức, hàm sinh, hàm Boolean, cùng các phép dựng hình học và tổ hợp, ở bất cứ đâu một ứng viên có thể được kiểm tra chính xác. Chúng tôi đã sử dụng Software Evolver trong nghiên cứu đằng sau các bài báo toán học mà chúng tôi đã công bố trên Zenodo.
Cấp phép theo yêu cầu
Software Evolver đang chờ cấp bằng sáng chế và có thể được cấp phép theo yêu cầu, như một sản phẩm dành cho SFA Non-Von-Neumann Architecture. Tài liệu kỹ thuật và thông tin nộp đơn sáng chế được cung cấp theo NDA.
Trao đổi về cấp phép Software Evolver
Con số thông lượng là kết quả benchmark được ghi nhận bằng tài liệu cho một mục tiêu xác định trên một bộ xử lý AMD EPYC 9455; thông lượng phụ thuộc vào kích thước chương trình và các ca kiểm thử. Chi tiết kỹ thuật và thông tin nộp đơn sáng chế được cung cấp theo NDA.