#数学

1件の記事

最新動向

OpenAI、未解決数学予想の証明文書を公開と発表

OpenAIが推論モデルGPT-5.6 Sol Ultraで、50年来未解決のサイクル二重被覆予想の証明とみられる文書を作成したと発表した。査読はまだで正しさは未確定。企業がAI出力を検証する体制の参考になる。