Nature ハイライト

人工知能:数学オリンピックの表彰台に立てるAIの推論能力

Nature 651, 8106

今回、テスト時強化学習を形式的な数学証明言語の環境下で使用することで、国際数学オリンピックで銀メダルを獲得できるレベルの検証可能証明を生成する方法が報告されている。

2026年3月19日号の Nature ハイライト

目次へ戻る

プライバシーマーク制度