MSC-180: 数学分野分類からの自動定理証明ベンチマークResearch#theorem proving🔬 Research|分析: 2026年1月10日 09:15•公開: 2025年12月20日 07:39•1分で読める•ArXiv分析この研究は、自動形式定理証明システムを評価するために特別に設計された新しいベンチマーク、MSC-180を導入しています。 数学分野分類の使用は、これらのAIシステムを開発およびテストするための構造化されたアプローチを提供します。重要ポイント•MSC-180は、自動定理証明者を評価するための新しいデータセットを提供します。•このベンチマークは、数学分野分類の構造を活用しています。•これは、形式検証とAI推論の進歩を加速させる可能性があります。引用・出典原文を見る"MSC-180 is a benchmark for automated formal theorem proving from Mathematical Subject Classification."AArXiv2025年12月20日 07:39* 著作権法第32条に基づく適法な引用です。古い記事TICL+: Advancing Children's Speech Recognition with In-Context Learning新しい記事Novel Quantum Algorithm Synthesizes Hermitian Matrix Functions Without Block-Encoding関連分析Research人間によるAI検出2026年1月4日 05:47Research深層学習の実装に焦点を当てた書籍2026年1月4日 05:49ResearchGeminiのパーソナライズ2026年1月4日 05:49原文: ArXiv