AI OpenAIが80年未解決のエルデシュ予想を反証 — 数学者3名が検証
OpenAIの汎用推論AIが、1946年にポール・エルデシュが提起した離散幾何学の未解決予想を反証しました。著名数学者3名が事前に検証し、AIが独立して著名な未解決問題を解いたと認定した初の事例と位置づけられています。
AI
SQL
AI
AI
AI
AI
AI
SQL
AI
AI