難問こそが鍵:数学的推論を飛躍させる「MathForge」 | KnowAI Space