アリストテレスを設置しろ。APIキーを取得しましょう。端末から実行してください。数学の未解決の問題やアリストテレスの入力(自然言語で!)を選んでください。数時間後には完全な形式的なリーンプルーフが生成されるか、失敗することがあります。👏