オリジナル AIが27年来の数学的予想を証明：Leanによる検証は通過したが、人類はこの答えを信頼できるか？ OpenAIとAnthropicのAIモデルが同日独立して指数時間仮説（ETH）が偽であるという67ページの数学的証明を生成し、Lean形式言語による検証も通過した。しかし形式的声明と元の数学的命題との等価性はいまだ証明されておらず、独立審 指数时间假说 3-SAT Lean形式验证 AI科学发现 3時間前 59
