重要なOpenAIの論文: 「LLMは簡単な数学の推測を解くことができますか? 研究者らは、GPT-5 が最小限のコンテキストで新しい単純な結果を証明できるかどうかを確認するために「ゴーデル テスト」を構築しました 5つの新しい最適化の推測について: - 3/5でほぼ正解 • P2: 代替の有効な解決策を見つけました • P4: 失敗 (2 つの論文を結合するために必要) • p5: 失敗 (プルーフを終了できませんでした)