OpenAI、新推論モデルが80年前のErdős問題を解決したと主張
OpenAIの新しい汎用推論モデルが、Paul Erdősの1946年の最適幾何充填に関する予想を反証する独自の数学的証明を生成し、数学者のNoga AlonとThomas Bloomが検証した。
OpenAIは、最新の汎用推論モデルが、ポール・エルデシュによる最適な格子構造に関する長年の幾何学的予想を証明したことを明らかにした。この予想は、ほぼ80年間支持されてきた。 同社は、7ヶ月前の誤りを訂正し、トーマス・ブルームを含む一流の数学者による検証を公開した。ブルームは以前、OpenAIに対してGPT-5の能力を誇張していると批判していた。 この証明は、従来信じられていた正方形のグリッドが最適な解ではないことを示し、むしろ新しいファミリーの構成であることを示している。 OpenAIは、生物学や物理学などの分野での発見に必要な長く困難な推論の連鎖をAIシステムが持続できるようになった証拠として、これを強調している。