近い将来は数学の定理の証明もコンピュータがやる時代がやってくるよ
ーーーーーーーー
Daisuke Okanohara@hillbig
GPT-fはTransformerを使った言語モデルで自動定理証明を行う。ウェブ収集された数学関連の論文などで事前学習し、
証明目標で条件付した証明経路の生成確率を使って探索する。発見された中で23個の証明はこれまでの証明より短くわかりやすく
Metamath証明ライブラリに加えられたhttps://arxiv.org/abs/2009.03393
午前8:25 ・ 2020年9月10日・Twitter Web App