しんたろーのITアカデミー

OpenAIの推論モデルが数学の難問を突破した理由。AI開発者が今学ぶべき報酬設計の完全ガイド

80年間、誰も解けなかった数学の難問がAIによって崩された。 1946年に数学者ポール・エルデシュが提唱した「平面内での単位距離問題」。 この80年近く数学者たちを悩ませてきた離散幾何学の難問が、AIによって解明された。 数学専用に特化して訓練されたモデルではない。 汎用的な推論能力を持つモデルが、自律的に証明を導き出した。 これは計算の高速化ではない。