計算機科学：AIは数学の超難問にも対応できるようになった | Nature | Nature Portfolio
国際数学オリンピックで出題されるような幾何学問題を解くことができる人工知能（AI）システムについて報告する論文が、今週、Natureに掲載される。このAIシステムの性能は、これまでで最高性能の定理自動証明システムを上回っている。今回の研究は、人間のトップレベルのパフォーマンスに近いレベルで複雑な論理問題に取り組むことができるというAIの可能性を実証しており、これを実現することが、AI研究の非常に重要な目標となっている。 数学オリンピックに出題されるような数学定理の証明問題を解くことは、高度な論理的推論能力と問題解決能力の証明となる。しかし、現在の機械学習ベースのAIシステムでは、数学定理を証明することは困難だ。機械学習は、AIの一分野で、コンピューターに参照データを読み込ませて特定のタスクの遂行方法を学習させるが、定理証明（特に幾何学の定理証明）に関しては、訓練データとして利用できる人間の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「生活意識に関するアンケート調査」（第96回）の結果