数学研究レベルでLLMを評価する新たな視点——LemmaBenchとは何か？
LemmaBench: 数学研究レベルでのLLM能力評価用ライブベンチマーク
査読前の可能性がある研究情報
最新の数学研究成果から問題を自動的に生成するLemmaBenchが提案され、LLMの証明能力評価に新たな視点を提供。
速報・AI要約未精査
arXiv cs.AI
毎日更新・AIニュース考察
AI記事考察ノート
公式発表・研究プレプリント・実装コミュニティの記事を、読む前に押さえたい文脈と注意点つきで整理。
8095掲載記事
6820深堀り対応
01
絞り込み結果
条件に一致した記事を、新しい順にまとめています。 2AIが数学を変える——新たな研究イニシアチブとは
Google DeepMindがAIを活用した数学研究の新たなイニシアチブを発表
速報・AI要約未精査
こんな人に数学研究者・人工知能開発者
Google DeepMind Blog