OpenAIがAIの証明を外部検証

OpenAIが証明を外部専門家に託した背景には、以前のNavier-Stokesをめぐる広報上の問題への批判がある。同社は今回の発見について科学的功績を主張するものではないとしている。検証プロセス自体にもトレードオフがあり、OpenAIは最初の推進者を誰が選ぶかが誰が先に関与するかに影響し、一部の人が他より早く多くを知ることになると認めている。3分野の扱いはそれぞれ異なる。計算機科学チームはRyan Williams氏が率い、指数時間仮説の原提案者の一人であるRussell Impagliazzo氏とRamamohan Paturi氏が加わり、無報酬・秘密保持契約なしで作業、OpenAIは彼らの要請で全生データを公開している。数学の成果には専任の推進者がおらず、OpenAIは外部専門家の助言に従い証明とLean証明を直接公開した。物理学チームはDavid Gross氏が率い、現時点ではAIの資料を非公開とし、結果を自ら論文にまとめる予定だ。OpenAIはまた、AIの成果に関するワークショップや会議への資金としてSimons Foundationに500万ドルを拠出すると約束した。