海外 OpenAIが80年来の数学難題を解決？今回は数学者がお墨付き OpenAIの最新推論モデルが1946年から未解決だった「Borsuk-Ulam幾何変体予想」の反例を発見し、過去にOpenAIの誤りを指摘した数学者たちが今回はその成果を認めた。AIによる厳密な論理推論の可能性が示されたものの、数学発見に OpenAI AI 数学推理 几何猜想 3時間前 59
