OpenAIのモデルが80年前のErdos予想を反証

OpenAIは、新しい未公開の推論モデルを採用し、80年前にポール・エルドーシュが提案した離散幾何学の予想を反証する反例を発見した。 このモデルは、広範な思考の連鎖を利用して、予想が誤りであるという証拠の探索で手法を体系的に適用し、予想が真であるという偏見のために、人間の数学者が主に避けてきた経路であった。 プロの数学者たちは、モデルの広範な出力をレビューし、特定の反例を識別し、それを標準的な証明に再定式化した。 この結果は、モデルが退屈な論理的な経路を持続する能力を示しているが、特定のプロセスは、広範な実用的なアプリケーションにはおそらく高すぎるコストであると思われる。