RA is a software package that couples machine learning with formal reasoning in an attempt to find the laws that generate the empirical data that it has been given access to. A brief outline of RA in its initial stage of development is presented. Particular emphasis is given to current design strategies that aim to endow RA with the ability to construct its own conjectures of which it constructs proofs.

翻译：RA是一个将机器学习与形式推理相结合的软件包，旨在发现生成其所获取经验数据的规律。本文介绍了RA在初始开发阶段的简要框架，并特别强调了当前旨在赋予RA构建自身猜想并为之构造证明能力的设计策略。