AI Today
ホーム > カテゴリ > Scientific Discovery

Scientific Discovery

考察記事

OpenAIai-mathematicserdos-conjecturereasoning-modelscientific-discovery

📐 OpenAI が Erdős 80 年予想を反証｜AI が『未知の数学』を解き始めた瞬間、わたしたちの『知の生産』はどう変わる？

OpenAI 内部 reasoning モデルが Paul Erdős の unit-distance 問題（1946 年提示、80 年来の未解決問題）を自律反証。Fields 賞 Tim Gowers が『AI 数学のマイルストーン』と評価した今回の breakthrough を、わたしたちユーザー視点で深掘り。

OpenAIerdosmathematicsai-reasoningscientific-discovery

🧠 OpenAI Erdős 反証｜AI が 80 年の数学問題を自力で解いた朝、S-1 提出前の『科学発見エンジン』ナラティブ完成

OpenAI の汎用 reasoning モデルが、1946 年から未解決の Paul Erdős 単位距離問題を自律で反証。Princeton の Will Sawin が refine、Fields 賞 Tim Gowers が milestone 評価。S-1 提出前の戦略的タイミングを深掘り。