AIと形式的な検証を活用したさらなる探求を促進するため、学生と研究者に直接100万ドルのスポンサーシップを発表できることを嬉しく思います。 詳細 👇

アリストテレスを広く一般に提供してから2か月間、私たちは数学的発見の新たな時代に突入していることがますます明らかになっています。あらゆるレベルの学生や研究者が、多くの分野からアリストテレスを使って未解決の予想を解き、ホールマークの結果を検証してきました。

私たちは資本とリソースを投入し、2段階の初期スポンサーシップでこの分野の進展をさらに加速させています。