↓メインコンテンツへスキップ

定理証明

LLMの推論をZ3定理証明で思考の証明！AIが論理的に推論する新時代へ？
·3 分
2025/10 LLM AI 推論 定理証明 Z3
解析学IにLeanという相棒！？
·2 分
2025/05 Lean 解析学 定理証明 数学 教育