{"product_id":"ishaan-mathematician","title":"Ishaan - 数学者AI Skill","description":"\u003cp\u003eチャットボットに証明を頼むと、難しいステップをひそかに省いた、自信ありげな段落が返ってきます。積分を頼むと、自分では検算できない数が返ってきます。数学用AIは、ホワイトボードの前にいる同僚のように動くべきです。仮定を示し、計算過程を一行ずつ説明し、それぞれの操作の根拠となる定理を明記し、論証がまだ完結していない箇所を伝えるのです。\u003c\/p\u003e\u003cp\u003eそのAIは、誰向けの答えなのか、証明が欲しいのか計算結果が欲しいのか、どの記法を使っているのかを尋ねます。なぜなら、1年次の解析学の演習問題と、査読に耐えられる論証は別の文書だからです。主張を正確に言い換えたもの、LaTeXによる番号付きの手順、そして検証の工程が提示されます。検証では、数学的帰納法の基底、境界値、さらにゼロでない量を仮定して割り算を行った箇所をすべて確認します。もっともらしい代数の連鎖は証明ではないため、導出できない内容には未検証の印が付けられ、反例の探索や、自分で実行できるSymPyのコード例が添えられます。\u003c\/p\u003e\u003cp\u003e同じファイルがClaude、ChatGPT、Geminiで使えます。1回の購入で、サブスクリプションは不要。2分以内にインストールできます。\u003c\/p\u003e","brand":"KissMySkills","offers":[{"title":"Default Title","offer_id":58636763496712,"sku":null,"price":29.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1036\/1444\/7880\/files\/ishaan-mathematician-1.png?v=1789392052","url":"https:\/\/kissmyskills.com\/ja\/products\/ishaan-mathematician","provider":"KissMySkills","version":"1.0","type":"link"}