計算・実験数学における SageMath 拡張 LLM エージェントの評価Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

arXiv cs.AI論文Paperarxiv.org公開Published2026/07/10 13:00 JST3mo ago重要度 MediumImportance Medium priority

AI2 点サマリSummary highlight

SageMath を統合した LLM エージェントが計算数学・実験数学タスクをどの程度解けるかを体系的に評価した研究。
数式処理システムとの連携がLLMの数学的推論能力を大幅に向上させることを示した。

This paper systematically benchmarks LLM agents augmented with SageMath on computational and experimental mathematics tasks, showing that tool-integrated agents significantly outperform bare LLMs on complex mathematical problems.

本ページの要約は AI による自動生成です。日本語版と英語版は言語ごとに独立して生成されるため、表現や詳しさが異なる場合があります。正確性は元記事 (arxiv.org) をご確認ください。The summaries are AI-generated independently for each language, so wording and detail may differ. Verify accuracy at the original source (arxiv.org).

記事情報・収集記録Article details & collection record

出典Source: arXiv cs.AI論文Paper
公開日時 (JST)Published (JST): 2026/07/10 13:00
収集日時 (JST)Collected (JST): 2026/07/11 11:00
配信形式Format: 論文Paper
原文言語Source language: EN
重要度の位置づけImportance in this lane: MediumMedium priority(arXiv 80件中、同等以上 80件)(80 of 80 arXiv entries are equal or higher)
出典の平均重要度（掲載直近 25 件・最大 30 件）Source average (last 25 listed, up to 30): 2.0 / 31=情報 · 2=中 · 3=高1=Info · 2=Medium · 3=High
情報の寿命Half-life: 長期 (アーキテクチャ)Long-term (architecture)

📄arXiv の他の記事More from arXivもっと見る →View more →