Software Evolver · Teknologi yang sedang dipatenkan
Program kompak, ditemukan secara otomatis.
Lisensikan Software Evolver yang sedang kami patenkan. Anda menentukan target dengan kasus uji dan skor; Software Evolver menelusuri jutaan program kandidat dengan hingga 26.8 miliar evaluasi per detik dan mengembalikan program yang kompak dan eksak untuk SFA Non-Von-Neumann Architecture.
Jelaskan tujuannya. Terima programnya.
Tentukan target sebagai kasus uji dan skor. Software Evolver mencari program kecil yang dapat dieksekusi dan memenuhinya, lalu mengembalikan program terbaik yang ditemukan.
Hingga 26.8 miliar evaluasi per detik
Diukur pada target benchmark terdokumentasi di satu prosesor AMD EPYC 9455. Satu evaluasi adalah satu program kandidat yang dijalankan pada satu kasus uji; angka ini merupakan hasil perkalian generasi per detik, kandidat per generasi, dan kasus uji per target. Software Evolver juga berjalan pada GPU NVIDIA.
Dapat direproduksi dan terverifikasi
Setiap eksekusi dapat direproduksi, dan setiap program yang dikembalikan diperiksa secara eksak terhadap targetnya.
Program, bukan bobot yang tidak transparan
Hasilnya adalah program kompak yang dapat dibaca, disederhanakan, diuji, dan diterapkan seperti kode lainnya.
Matematika eksak juga
Pencarian yang sama juga menemukan matematika eksak dan hukum kompak: rumus dalam data terukur, identitas, fungsi pembangkit, fungsi Boolean, serta konstruksi geometris dan kombinatorial, di mana pun sebuah kandidat dapat diperiksa secara eksak. Kami menggunakan Software Evolver dalam riset di balik makalah matematika kami yang diterbitkan di Zenodo.
Dilisensikan sesuai permintaan
Software Evolver sedang dipatenkan dan tersedia untuk dilisensikan sesuai permintaan, sebagai produk untuk SFA Non-Von-Neumann Architecture. Materi teknis dan informasi pengajuan paten diberikan di bawah NDA.
Diskusikan lisensi Software Evolver
Angka laju pemrosesan adalah hasil benchmark terdokumentasi untuk target yang ditentukan pada satu prosesor AMD EPYC 9455; laju pemrosesan bergantung pada ukuran program dan kasus uji. Detail teknis dan informasi pengajuan paten diberikan di bawah NDA.