数学証明

Google・DeepMind・Alphabet

誰も語らない100倍のAIブレークスルー

Googleが発表したGemini Deep Thinkの最新版は、単なるベンチマークスコアの向上以上の意味を持つ。本リリースには3つの異なる要素が含まれている。消費者向けのDeep Think Version 2、研究エージェントElit...
AIサイエンティスト・科学研究

AIで科学を加速するPrism

OpenAIが発表したPrismは、科学論文執筆と研究を支援する無料のAIネイティブ環境である。GPT-5.2の登場以降、AIが数学、物理学、化学、生物学など幅広い科学分野で成果を上げる中、Prismは研究者のワークフローに直接統合されるこ...
数学

DeepSeekの新しいAIが残酷なロジックでGemini 3 Deep Thinkを超えた

DeepSeekが国際数学オリンピック金メダルレベルの性能を持つ数学モデルMath V2を発表し、Googleが構造化推論用に開発したGemini Deep Thinkを上回る性能を実現した。このモデルの革新性は単なる正解の導出ではなく、自...
OpenAI・サムアルトマン

AIが今日の科学的発見をいかに加速させているか、そしてこれからの展望 — OpenAIポッドキャスト 第10話

本エピソードでは、OpenAIの科学部門責任者ケビン・ワイルと、研究科学者でヴァンダービルト大学物理学教授のアレックス・ルプサスカが、AIが科学研究にもたらしている革命的な変化について議論している。GPT-5が数学的証明、物理学の方程式解析...
GPT-5、5.1、5.2、5.3

GPT-5がみんなを驚かせた…

OpenAIのGPT-5 Proが数学の未解決問題を17分半で解決し、既存の数学的境界を改善する完全にオリジナルな証明を生成した。この発見は単なるパターンマッチングを超えた真の数学的知識の創造を示しており、AI研究における重要な転換点となる...