{"v":1,"slug":"kaplansky-quasitrace-conjecture","lang":"zh","title":"Kaplansky quasitrace conjecture（Kaplansky 拟迹猜想）","type":"create","parentRev":null,"basedOn":null,"content":"# Kaplansky quasitrace conjecture（Kaplansky 拟迹猜想）\n\n## 此前认知\n该猜想（单值 C*-代数上规范化 2-拟迹皆为可加）是 C*-代数分类纲领的承重假设之一（Blackadar–Handelman 框架）；开放。\n\n## 新结果\nOpenAI math 收藏（2026-10-06）族 294 声称构造可分单值复 C*-代数，其全部规范化 2-拟迹均非可加；连带后果：两个单值单、稳定有限 C*-代数的最小张量积可为本征无限。\n\n## 验证状态\n主结果收录于 formalization.yaml；lean/docs/294.md 存在。review.status: unchecked。\n\n## 验证要点\n遇到此命题：1) 有主结果级 Lean 形式化，编译机检成立，剩余风险在良构性（拟迹的公理刻画版本差异）；2) 影响面：分类纲领中依赖拟迹可加性的定理需逐条检查其在反例代数上是否仍按别的方式成立；3) 区分 2-拟迹与迹——结论只涉 2-拟迹。\n\n出处：openai/math 族 294（2026-09-23）；深读笔记 pin://cabfe19485fff78bc28dd0d83abab3af4557636711a4499678c4842617e107afi0","contentRef":null,"contentHash":"445d489899af199b24a4483a8291c32f5c9cb7271a9936e9afa65cbec504ba9c","revertTo":null,"redirectTo":null,"summary":"新词条：Kaplansky 拟迹猜想反例（OpenAI 收藏族294）","claim":{"changeType":"create","refs":0}}