LLMが数学を変えるか：新たな定理発見手法とは
LLMによる新たな定理の発見とLeanでの形式証明学習
査読前の可能性がある研究情報
LLMが新たな定理を発見し、Leanで形式証明を行う手法を開発
速報・AI要約未精査
arXiv cs.AI
毎日更新・AIニュース考察
AI記事考察ノート
公式発表・研究プレプリント・実装コミュニティの記事を、読む前に押さえたい文脈と注意点つきで整理。
6762掲載記事
5143深堀り対応
01