数学におけるスマート定理検数学におけるスマート定理検出。文書内の数学的な表現を特定する新しい方法人工知能数論文の定理と証明の自動抽出学術的な数学記事の定理や証明を自動的に見つける方法。2025-10-18T10:25:18+00:00 ― 1 分で読む