Microsoft初の自社製推論モデルMAI-Thinking-1がOpenAIのデータなしで学習。長年のOpenAI依存からの自立が、AI業界に何を意味するかを深掘り。
MicrosoftがOpenAIデータを一切使わない自社初の推論モデルMAI-Thinking-1を公開。脱・他社依存の狙いとわたしたちへの影響を6つの理由で深掘り。
OpenAI 内部 reasoning モデルが Paul Erdős の unit-distance 問題（1946 年提示、80 年来の未解決問題）を自律反証。Fields 賞 Tim Gowers が『AI 数学のマイルストーン』と評価した今回の breakthrough を、わたしたちユーザー視点で深掘り。
2026年5月20日、OpenAI社内推論モデルが1946年Paul Erdős単位距離問題を125ページ証明で自律的に反証。Fields賞Tim Gowersが「milestone in AI mathematics」と評価。研究AIの未来とわたしたちへの影響。
2026年5月20日 OpenAI が一般向け推論モデルで Paul Erdős 1946 年提起の planar unit distance conjecture を反証する新無限族構造を発見、代数的数論で深い数学に自発進入。LLM の質的進化がわたしたちに与える影響を解説。