AI研究 on Appwright AI https://ai.appwright.xyz/tags/ai%E7%A0%94%E7%A9%B6/ Recent content in AI研究 on Appwright AI Hugo en-US Thu, 21 May 2026 19:00:00 +0800 OpenAIの汎用推論モデル、80年未解決のエルデシュ単位距離問題を$1,000以下で解決—AI数学研究の新時代 https://ai.appwright.xyz/posts/2026-05-21-openai-erdos-unit-distance-proof/ Thu, 21 May 2026 19:00:00 +0800 https://ai.appwright.xyz/posts/2026-05-21-openai-erdos-unit-distance-proof/ OpenAIの汎用推論モデルが1946年から未解決だったエルデシュ単位距離予想を反証。32時間・$1,000以下の計算コストで80年の難問に終止符。数学者も認めた画期的成果の全貌とAIエンジニアへの示唆。