大規模言語モデルエージェントが理論物理学を変えるか？
マルチエージェントによるテンソルネットワーク理論の自動形式化
査読前の可能性がある研究情報
大規模言語モデルエージェントが理論物理学の自動形式化を実現
arXiv cs.AI
毎日更新・AIニュース考察
AI記事考察ノート
公式発表・研究プレプリント・実装コミュニティの記事を、読む前に押さえたい文脈と注意点つきで整理。
9,481掲載記事
8,724深堀り対応
01
絞り込み結果
条件に一致した記事を、新しい順にまとめています。 6数学的推論におけるAI：新たなフロンティアを模索
査読前の可能性がある研究情報
数学的推論におけるAIの進歩を多角的に調査
こんな人にAI研究者・数学者
arXiv cs.AI異なる証明システム間でのジョルダン曲線定理再形式化：数学的証明の共有を変える技術は？
査読前の可能性がある研究情報
ジョルダン曲線定理の証明がMizarからLean、HOL LightからAgdaへの再形式化に成功
速報・AI要約未精査
こんな人に数学者・論理学研究者
arXiv cs.AI幾何学問題解決における新たなアプローチ：SD-GPSが示す可能性とは？
査読前の可能性がある研究情報
幾何学問題解決における自動形式化と定理予測の課題に新たなアプローチを提案
速報・AI要約未精査
こんな人にAI研究者・幾何学問題解決に携わるエンジニア
arXiv cs.AI信号カバレッジ行列がLLMの精度向上をどう支えるか？
査読前の可能性がある研究情報
LLMによるステートメント自動形式化の精度向上に向けた信号カバレッジ行列が提案される
速報・AI要約未精査
こんな人に自然言語処理の研究者・LLM開発者のエンジニア
arXiv cs.CL数学的推論における大規模言語モデルの効率化：新手法BASEが示す可能性とは？
査読前の可能性がある研究情報
大規模言語モデルの数学的推論における効率化と信頼性向上を目指す新手法BASEが提案
こんな人にAI研究者・数学教育者
arXiv cs.AI