我們很高興地宣布將直接向學生和研究人員提供 1,000,000 美元的贊助，以鼓勵他們進一步探索 AI 和形式驗證。 更多詳情 👇

在過去兩個月中，自從我們將亞里士多德廣泛提供給公眾以來，越來越明顯的是，我們正進入一個數學發現的新時代。各個層級和許多學科的學生和研究人員都使用亞里士多德來解決未解的猜想並驗證重要的結果。

我們正在部署資本和資源，以進一步加速在該領域的進展，並提供兩個初始贊助級別。