私は研究にAIツールを組み合わせるのが好きで、ここにまだ誰も試していない面白いアイデアを紹介します。 まず、アリストテレスを用いて形式証明を生成する@HarmonicMath。 次に、次のプロンプトで@NanoBanana(プロ)を指示します。 各仮説とその証明を特定の指標に関連付け、最終的な結論(主定理の証明)に至るイラスト的なインフォグラフィック図を作成します。あなたは以下のリーンコードに従っています: <リーンコード> 楽しいグラインドを!