技術的特異点/シンギュラリティ192【技術・AI】

[0262 オーバーテクナナシー 2020/09/13(日) 03:19:03.59 ID:A2VfVClf]

数学の証明ができるOpenAI GPT-f。
パフォーマンスが14%秀でてダントツの歴代1位に。
https://syncedreview.com/2020/09/10/openai-gpt-f-delivers-sota-performance-in-automated-mathematical-theorem-proving/

論文
https://arxiv.org/abs/2009.03393