Software Evolver · 专利申请中技术
紧凑程序，自动发现。
获取我们专利申请中的 Software Evolver 许可。您通过测试用例和评分定义目标；Software Evolver 以每秒最多 26.8 十亿次评估的速度搜索数百万个候选程序，并返回面向 SFA Non-Von-Neumann Architecture 的紧凑、精确程序。
描述目标。获得程序。
将目标定义为测试用例和评分。Software Evolver 搜索满足该目标的小型可执行程序，并返回找到的最佳程序。
每秒最多 26.8 十亿次评估
在一台 AMD EPYC 9455 处理器上针对有文档记录的基准测试目标测得。一次评估即一个候选程序在一个测试用例上运行一次；该数值由每秒代数、每代候选数和每个目标的测试用例数相乘得出。Software Evolver 也可在 NVIDIA GPU 上运行。
可重复且经过验证
每次运行都可重复，每个返回的程序都会对照其目标进行精确检查。
程序，而非不透明的权重
结果是紧凑的程序，可以像任何其他代码一样阅读、简化、测试和部署。
同样适用于精确数学
只要候选能够被精确检验，同样的搜索也能找到精确的数学结果和紧凑的规律：测量数据中的公式、恒等式、生成函数、布尔函数，以及几何和组合构造。我们在研究中使用了 Software Evolver，这些研究是我们发表在 Zenodo 上的数学论文的基础。
按需许可
Software Evolver 正在申请专利，作为面向 SFA Non-Von-Neumann Architecture 的产品，可按需获得许可。技术资料和专利申请信息依据 NDA 提供。
讨论 Software Evolver 许可
吞吐量数据是在一台 AMD EPYC 9455 处理器上针对既定目标取得的有文档记录的基准测试结果；吞吐量取决于程序规模和测试用例。技术细节和专利申请信息依据 NDA 提供。