数学的推論

OpenAIの汎用モデル、数学専用ではないのに80年来の幾何予想を解く

AI 6か月前

OpenAIの汎用モデル、数学専用ではないのに80年来の幾何予想を解く

数学向けに訓練されていない汎用の推論モデルが、平面上の単位距離問題に対し19…