論理と推論

2026年8月7日定番の型

87年前の数学の予想が『反例1つ』で偽に——AIが掘り当てた、Xに収まる短い式

1939年に提示され87年間破られなかった「ヤコビ予想」に、反例が見つかった。数学者レヴェント・ アルポゲ氏がAIモデル Claude Fable 5 を使い、3次元で条件を満たすのに逆にできない多項式写像を発見。 式は1つのX投稿に収まる短さで、次元3以上で予想は偽と確定した(2次元は未解決)。