OpenAIの数学証明公開、学界の基準に届かず
まずはこの出来事を
2026年10月、OpenAIは高難度の数学問題の解答を数百件公開し、学界で基準を満たしているかをめぐる議論を引き起こした。TechCrunchの報道によると、この解答群はプリンストン高等研究所のAGMAIが示した基準を完全には満たしていない。719件の原稿のうちモデルの思考連鎖を公開したのはわずか10件で、42%の証明はまだ形式化されていない。ケンブリッジ大学とキングス・カレッジ・ロンドンの新論文は、OpenAIのNavier-Stokes方程式の解答について、自然言語の証明とLeanコードの間に少なくとも2カ所の不一致があることも記録している。現時点で、学界はその公開品質への疑問を続けている。
報道をもとに AI が作成 · 7 日前に更新
報道の時系列
報道をたどり、出来事のさまざまな面を知る。
- TechCrunch · AIOpenAIの数学解答、学界の基準に未達
TechCrunchの報道によると、OpenAIは今週、難解な数学問題の解答を数百件公開したが、プリンストン高等研究所のAGMAIが示した指針を完全には満たしていない。719件の原稿のうちモデルの思考連鎖を公開したのは10件のみで、証明の42%は形式化されていない。ケンブリッジ大学とキングス・カレッジ・ロンドンの新論文は、OpenAIによるNavier-Stokes方程式の解答で、自然言語の証明とLeanコードの間に少なくとも2カ所の不一致があることも記録している。
この出来事の注目度の推移
現在の注目度 3·比較範囲のピーク 7（10月9日 16:00）·過去 24 時間の比較範囲での変化 -50%
推移は、途切れずに観測できた同じ主体どうしだけで比べるため、現在の注目度の集計より範囲が狭いことがあります。ポインタを動かすかグラフをクリックすると 1 時間ごとの注目度が見られます。キーボードでは左右の矢印キーで切り替えられます。