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