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、離散幾何の主要予想を反例で否定

研究・教育の場で、AIを“発想の相棒”として使う選択肢が広がります。

ポイント

  • 1離散幾何の主要予想を反例で否定と報告
  • 2長年の未解決問題に対する具体的成果
  • 3研究支援AIの可能性を示す事例

OpenAIは、離散幾何の中心的な予想をモデルが反例で否定したと発表しました。80年級の未解決問題に対して、AIが具体的な数学的成果に到達した点がポイントです。研究用途でのAI活用の期待がさらに高まりそうです。