ベンダー・製品 · 5月21日 05:16 OpenAI汎用モデル、80年越しの幾何学予想を反証 2026年5月20日(現地時間)、OpenAIは同社の汎用推論モデルが、離散幾何学の分野における長年の未解決問題「平面単位距離問題」の中心的な予想を反証したと発表した。約80年間、数学者たちが取り組んできたこの問題に対し、モデルは多項式的に改善された無限の例の族を提示。その証明は外部の数学者グループによって確認された。