「未解決の数学問題100問を解いた」OpenAI発表に海外掲示板で懐疑論

姉妹サイトの新着

他サイトの新着

OpenAIが独自の内部モデルを使い、未解決の数学問題を100問以上解いたと発表したことが、海外掲示板4chanの/sci/板(Science & Math)で話題になった。同社は「数学と人工知能に関する諮問グループ」の設立も明らかにしており、著名数学者エドワード・ウィッテンらの名前が並ぶ。スレでは、これが本当にブレークスルーなのか、それとも競合Anthropicへの先制やIPOを見据えた宣伝にすぎないのかという懐疑論と、AIが数学者の存在意義そのものを脅かすという声が入り混じり、意見が割れていた。

もう終わりだ(原文は“It’s Ogre”、“It’s Over”に引っかけたダジャレ)

出典: openai.com / 元記事はこちら

2 海外の名無しさん 2026-09-21 19:50
終わった
3 海外の名無しさん 2026-09-21 19:54
証明を全部かき集めて
過学習させて
学習不足にもさせて
それを無限に繰り返せば
もしかしたら、もしかしたら
『正解の証明』が出るかもね!!!!!!1!!!
4 海外の名無しさん 2026-09-21 19:58
学者各位
これ一体どういう意味なんだ?何か上位の力でも解放したのか、それともご機嫌取りチャットボットが、餌付けしたおいしいトークンほしさに俺たちを煙に巻いてるだけなのか?
最初に解明した人間には出前ピザをプレゼントします。
AIより
6 海外の名無しさん 2026-09-21 20:02
近々のIPOのためだろ。
まとまった金が入るまで事実を隠しておくってわけ。
7 海外の名無しさん 2026-09-21 20:05
OpenAIはAnthropicが先に『問題を解いた』と発表するのを先回りしたいんだろう。OpenAIの解答はLEANで形式化されてるらしいが、それでも別の意味で間違ってる可能性はある
8 海外の名無しさん 2026-09-21 20:09
それだけ頭がいいくせに、名物コテハンのmwahnonにもっとネタ画像を貼らせることはできないんだな
9 海外の名無しさん 2026-09-21 20:09
100個以上証明を持ってるけど、誰かの気分を害するから発表できないんだとさ
今未解決問題に取り組んでるなら、テレンス・タオに聞きに行った方がいい。もう解かれてるかもしれないけど、タオのプライドの方が大事らしいから
10 海外の名無しさん 2026-09-21 20:12
今の情勢だと、数学の問題を解いたと発表すると盗まれるから公表できないんじゃなかったのか
14 海外の名無しさん 2026-09-21 20:20
「見せてもらえますか?」
「ノー」
15 海外の名無しさん 2026-09-21 20:21
AIが自分より上手く、速く、安くやれるなら、もう何かを学ぶ意味なんてあるのか?
16 海外の名無しさん 2026-09-21 20:34
できないよ。実証的に、できない
17 海外の名無しさん 2026-09-21 20:35
『数学と人工知能に関する諮問グループ』の初期メンバー(米プリンストン高等研究所主催):

フランソワ・シャルル(ENS-PSL)
カミロ・デ・レリス(IAS, GSSI)
ティモシー・ガワーズ(コレージュ・ド・フランス、ケンブリッジ大)
マルティン・ハイラー(EPFL、インペリアル・カレッジ・ロンドン)
ニキル・スリヴァスタヴァ(バークレー、サイモンズ研究所)
ウルリケ・ティルマン(オックスフォード大、INI)
ラヴィ・ヴァキル(スタンフォード大)
エドワード・ウィッテン(IAS)
メラニー・マチェット・ウッド(ハーバード大)
18 海外の名無しさん 2026-09-21 20:36
うわ、ウィッテンまで引き入れたのか
機械反対派のみんな……もう終わりだ
19 海外の名無しさん 2026-09-21 20:39
AI企業が未解決の数学問題を解いたと発表し始めた以上、数学者たちはそのAI企業に加わって、残りの未解決問題を解く手柄を少しでも確保するしかなくなる
20 海外の名無しさん 2026-09-21 20:40
ただの宣伝だよ

他サイトの新着

21 海外の名無しさん 2026-09-21 21:02
自分の専門分野以外なら、AIの方が正しいことを多く知ってる。
そして、その専門分野でもそのうちAIに追い抜かれる
23 海外の名無しさん 2026-09-21 22:46
『ロボット・オリンピアン!』
ウケるw
24 海外の名無しさん 2026-09-21 22:49
@grok、0は自然数?
25 海外の名無しさん 2026-09-21 23:21
数学界のCEOがAIを禁止したから、もう解いた問題を発表できなくなったらしい
29 海外の名無しさん 2026-09-22 00:37
/sci/の守護聖人ですら、M理論の定式化への唯一現実的な道はAIだと分かっている
「未解決の数学問題100問を解いた」OpenAI発表に海外掲示板で懐疑論
30 海外の名無しさん 2026-09-22 01:28
はったりだよ。時間稼ぎしてるだけ
32 海外の名無しさん 2026-09-22 01:48
3年前は基本的な掛け算すらできなかったのに。2027年末を迎えられるまで、俺たちの誰も生きていられない気がしてきた
「未解決の数学問題100問を解いた」OpenAI発表に海外掲示板で懐疑論

この話題の背景と論点

今回の発表は、AI研究所が内部で開発中のモデルによる結果であり、外部の数学者による査読や独立検証を経たものではない。スレで名前が挙がった諮問グループにはエドワード・ウィッテンら著名な数学者が名を連ねる一方、具体的な証明そのものは公開されておらず、この非対称さが「本当に信じていいのか」という疑念を招いている。背景には、競合のAnthropicが同様の発表をする前に先手を打ったのではという見方や、資金調達・上場を控えた広報効果を狙ったのではという見方があり、真偽の検証よりも企業間競争と宣伝の文脈で語られがちな点は押さえておきたい。数学者不要論への反発と、AIの能力を素直に称賛する声が同居しているのも今回のスレの特徴で、意見はまとまっていない。

※本記事は海外掲示板 4chan /sci/ (Science & Math) のスレッド「OpenAI has solved 100 open math problems with its internal model:」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。

この記事のリアクション

他サイトの新着

まだコメントはありません。

コメントする

誹謗中傷・個人を特定する書き込みは削除対象です。投稿は承認後に表示されます。

相互リンクサイト新着記事