| 体系的番号 |
JPMJBY24E2 |
研究代表者 |
園田 翔 株式会社サイバーエージェント, AI事業本部 AI Lab, リサーチサイエンティスト
|
|---|
| 研究期間 (年度) |
2025 – 2030 (予定)
|
| 概要 | 定理証明AIに推論のギャップを埋めてもらうことで、より効率的かつ創造的に数学が運用できる未来を目指します。大規模言語モデル（LLM）による定理証明は、機械学習と計算機科学の境界領域に現れた新しい研究分野です。数学者の直観を模倣させることで、LLMの論理的推論能力を強化します。証明AIの汎化誤差解析や、AIによって証明可能な定理の特徴付けを通じて、AIの設計理論や新しい情報科学・数学の誕生が期待されます。
|
|---|
