数学向けのAIを構築する方法は二つあります。 一つは、プライベートで結果を表面化し、後から行うことです。 もう一つは、実際の道具を数学者の手に渡し、実際の使用から学び、公共の場で活動し、築くコミュニティに感謝し、エコシステム自体を支えることです。 私たちは第二のモデルを信じています。 数学は深く人間的な営みです。 AIは数学者を力強くするべきであって、彼らを回避するべきではありません。 数学者と一緒に作り、彼らの周りではなく。

アリストテレス・エージェントの打ち上げ以来、需要の急増に対応する能力を倍増させました。 証明は今やずっと速く進み、キューにかかる時間もずっと短くなるはずです。 これは始まりに過ぎません...