符号推理に関するニュース

OpenAIモデルが80年未解決の数学難題を攻略

OpenAIの最新AIモデルが、1937年から未解決だったCollatz予想（3x+1問題）の完全な証明に成功したと発表。記号推論と強化学習を組み合わせた新しいアーキテクチャにより、公理から厳密な数学的証明を導き出した。