Köthe 猜想反例正式公开：GPT-6 Astra 的 autonomous counterexample 经数学家检查、推广并形成论文

Tom Adamczewski、Bernhard Böhmler 与 René Marczinzik 于 9 月 7 日公开论文，构造 Köthe 猜想的反例，并据此否定回答 Louis Rowen 的一个 1989 年问题。配套公开仓库说明，最初 matrix-form counterexample 与 Lean 4 proof 由预发布 GPT-6 Astra 在 Epoch AI 的 LeanOpenProblems autonomous evaluation 中独立产生；随后作者对 AI 结果进行数学检查，并把构造推广到任意可数域，写成对 Köthe 原始猜想的直接反例。