Anthropic、Project Glasswingで1万件超の脆弱性を発見SynthIDがGoogle SearchとChromeに拡大Goal modeがCodex全プラットフォームで利用開始Codex ThursdayでMac遠隔操作機能追加Anthropic、Project Glasswing初期成果を公開Anthropicが脆弱性開示ダッシュボードを更新、修正状況を公開科学向けAIスキルツールを新公開Gemini 3.5 Flashが公開、研究ツール強化Google、ADK for Kotlin/Android 0.1.0公開Gemini 3.5 Flashが正式公開AIが数学の未解決問題を初めて解決Google、Gemini Omniを発表し動画生成・編集を強化Gemini Omniで複数エージェントを活用OpenAIが長期コンピュート保証サービスを導入Gemini for Scienceが研究タスクをAI支援AI生成画像にSynthID透かしと検証ツール追加Google I/O 2026でAI新発表OpenAI、画像の来歴検証を強化し公開ツールを予告KPMG、Claudeを全社展開し税務・法務ツールから開始Google、Gemini APIにManaged Agentsを追加Anthropic、Project Glasswingで1万件超の脆弱性を発見SynthIDがGoogle SearchとChromeに拡大Goal modeがCodex全プラットフォームで利用開始Codex ThursdayでMac遠隔操作機能追加Anthropic、Project Glasswing初期成果を公開Anthropicが脆弱性開示ダッシュボードを更新、修正状況を公開科学向けAIスキルツールを新公開Gemini 3.5 Flashが公開、研究ツール強化Google、ADK for Kotlin/Android 0.1.0公開Gemini 3.5 Flashが正式公開AIが数学の未解決問題を初めて解決Google、Gemini Omniを発表し動画生成・編集を強化Gemini Omniで複数エージェントを活用OpenAIが長期コンピュート保証サービスを導入Gemini for Scienceが研究タスクをAI支援AI生成画像にSynthID透かしと検証ツール追加Google I/O 2026でAI新発表OpenAI、画像の来歴検証を強化し公開ツールを予告KPMG、Claudeを全社展開し税務・法務ツールから開始Google、Gemini APIにManaged Agentsを追加
🔒 公式発表のみ掲載。噂・リーク・情報商材は載せません。
← トップに戻る
OpenAI00:00ガイド・活用法公式ブログ

OpenAIがFirst Proofの証明試行を公開、やり取り例のプロンプト付録も追加

難問に取り組むときの「質問の分け方」と「検証の進め方」を真似しやすくなります。

ポイント

  • 1First Proof 10問への証明試行を公開
  • 2専門家フィードバックを踏まえた現時点の見立て
  • 3手作業の対話を模したプロンプト例を付録化

OpenAIが数学チャレンジ「First Proof」への社内モデルの証明試行を公開しました。10問への試行結果と、専門家からのフィードバックを受けた見立てを共有し、付録として手作業のやり取りを再現するプロンプト例も追加しています。長い推論(考える手順)をどう作るかの実例として読めます。内容は研究途中で、評価が今後変わる可能性があります。