我们很高兴地宣布将直接向学生和研究人员提供100万美元的赞助，以鼓励他们进一步探索AI和形式验证。 更多细节 👇

在过去两个月中，自从我们将亚里士多德广泛提供给公众以来，越来越明显的是，我们正进入一个数学发现的新纪元。各个层次和多个学科的学生和研究人员都使用亚里士多德来解决开放的猜想和验证标志性的结果。

我们正在投入资本和资源，以进一步加速在该领域的进展，初步设定两个赞助级别。