海外 OpenAIの数学証明、学術標準に未到達——指針をめぐる対立が浮上 OpenAIが発表した一連の数学証明が数学界の標準を満たしていないとして批判を受けている。同社はかつて数学研究者に助言を求めながら、成果発表時にはその指針に従わなかったことが明らかになった。 OpenAI 数学推理 学术标准 AI可信度 2026年10月9日 997
海外 OpenAIが80年来の数学難題を解決？今回は数学者がお墨付き OpenAIの最新推論モデルが1946年から未解決だった「Borsuk-Ulam幾何変体予想」の反例を発見し、過去にOpenAIの誤りを指摘した数学者たちが今回はその成果を認めた。AIによる厳密な論理推論の可能性が示されたものの、数学発見に OpenAI AI 数学推理 几何猜想 2026年5月21日 1,415
