「未解決の数学問題100問を解いた」OpenAI発表に海外掲示板で懐疑論
姉妹サイトの新着
OpenAIが独自の内部モデルを使い、未解決の数学問題を100問以上解いたと発表したことが、海外掲示板4chanの/sci/板(Science & Math)で話題になった。同社は「数学と人工知能に関する諮問グループ」の設立も明らかにしており、著名数学者エドワード・ウィッテンらの名前が並ぶ。スレでは、これが本当にブレークスルーなのか、それとも競合Anthropicへの先制やIPOを見据えた宣伝にすぎないのかという懐疑論と、AIが数学者の存在意義そのものを脅かすという声が入り混じり、意見が割れていた。
もう終わりだ(原文は“It’s Ogre”、“It’s Over”に引っかけたダジャレ)
出典: openai.com / 元記事はこちら
過学習させて
学習不足にもさせて
それを無限に繰り返せば
もしかしたら、もしかしたら
『正解の証明』が出るかもね!!!!!!1!!!
これ一体どういう意味なんだ?何か上位の力でも解放したのか、それともご機嫌取りチャットボットが、餌付けしたおいしいトークンほしさに俺たちを煙に巻いてるだけなのか?
最初に解明した人間には出前ピザをプレゼントします。
AIより
まとまった金が入るまで事実を隠しておくってわけ。
今未解決問題に取り組んでるなら、テレンス・タオに聞きに行った方がいい。もう解かれてるかもしれないけど、タオのプライドの方が大事らしいから
「ノー」
フランソワ・シャルル(ENS-PSL)
カミロ・デ・レリス(IAS, GSSI)
ティモシー・ガワーズ(コレージュ・ド・フランス、ケンブリッジ大)
マルティン・ハイラー(EPFL、インペリアル・カレッジ・ロンドン)
ニキル・スリヴァスタヴァ(バークレー、サイモンズ研究所)
ウルリケ・ティルマン(オックスフォード大、INI)
ラヴィ・ヴァキル(スタンフォード大)
エドワード・ウィッテン(IAS)
メラニー・マチェット・ウッド(ハーバード大)
機械反対派のみんな……もう終わりだ
他サイトの新着
そして、その専門分野でもそのうちAIに追い抜かれる
ウケるw
この話題の背景と論点
今回の発表は、AI研究所が内部で開発中のモデルによる結果であり、外部の数学者による査読や独立検証を経たものではない。スレで名前が挙がった諮問グループにはエドワード・ウィッテンら著名な数学者が名を連ねる一方、具体的な証明そのものは公開されておらず、この非対称さが「本当に信じていいのか」という疑念を招いている。背景には、競合のAnthropicが同様の発表をする前に先手を打ったのではという見方や、資金調達・上場を控えた広報効果を狙ったのではという見方があり、真偽の検証よりも企業間競争と宣伝の文脈で語られがちな点は押さえておきたい。数学者不要論への反発と、AIの能力を素直に称賛する声が同居しているのも今回のスレの特徴で、意見はまとまっていない。
※本記事は海外掲示板 4chan /sci/ (Science & Math) のスレッド「OpenAI has solved 100 open math problems with its internal model:」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
まだコメントはありません。