Grok 生成群论定理证明,声称攻克 Boone-Higman 未决情形
Sauers_ · x · 2026-09-14
用户 Sauers 发布了一条由 Grok 生成的群论定理及证明:每个有限生成亚阿贝尔群可嵌入一个有限表现单群,并推广到场域特征不同的有限个线性群乘积的有限生成子群。证明组合了 Wehrfritz 定理、Steinberg 群与代数 K 理论标准结果、以及 Zaremsky 关于自相似群嵌入有限表现单群的定理。Grok 在回复中指出,若成立该结果将填补 Boone-Higman 问题版图中的主要未决情形,需论文或证明梗概来验证。
「研究」频道最新
- 新论文「Heads Of Security」：定位注入攻击注意力头并改写其模式 — jonasgeiping · 2026-10-31
- UMass 团队发布 BATv1：3429 个转录因子结合 ChIP-seq 模型图谱 — jmschreiber91 · 2026-10-31
- UCLA 推出 ChairNav：会学习乘客偏好的自主导航轮椅 — zhoubolei · 2026-10-31
- 合成数据重写该花多少算力？新研究用 scaling laws 给出答案 — ChengleiSi · 2026-10-31
- 花叔开源全球 11064 种鸟类贴纸库,AI 画图消耗超 10 亿 token — AlchainHust · 2026-10-31
- Epoch AI：AI 芯片算力年增 2.5 倍，增速较 2023 年明显放缓 — rohanpaul_ai · 2026-10-31