Grok 生成群论定理证明,声称攻克 Boone-Higman 未决情形
Sauers_ · x · 2026-09-14
用户 Sauers 发布了一条由 Grok 生成的群论定理及证明:每个有限生成亚阿贝尔群可嵌入一个有限表现单群,并推广到场域特征不同的有限个线性群乘积的有限生成子群。证明组合了 Wehrfritz 定理、Steinberg 群与代数 K 理论标准结果、以及 Zaremsky 关于自相似群嵌入有限表现单群的定理。Grok 在回复中指出,若成立该结果将填补 Boone-Higman 问题版图中的主要未决情形,需论文或证明梗概来验证。
「研究」频道最新
- Agent 轨迹数据集月下载超 5 万，作者猜被用于 SFT 与奖励作弊监测 — maksym_andr · 2026-09-14
- rasbt 推理从零学第 3 轮：手写数学验证器与 LLM 评测 — rasbt · 2026-09-14
- 普林斯顿研究:AI 智能体尚缺原创研究品味,递归自我改进不会很快到来 — ArtificialOther · 2026-09-14
- 上交大清华字节等 75 页论文提出递归自我改进五阶段路线图 — Dr_Singularity · 2026-09-14
- 开发者实测研究 Agent，暴露 RAG 多源实为单一观察的隐性依赖问题 — edalgomezn · 2026-09-14
- Richard Socher：合成数据致「疯牛病」的担忧被夸大了 — RichardSocher · 2026-09-14