用 Claude 扫描百万点组合，发现四面体「七点球」新定理
IgorCarron · x · 2026-10-22
一位网友宣布在 Claude 协助下发现一个立体几何新定理——七点球：对任意四面体，以下七个点共球：顶点与重心连线与外接球的交点、外接球三个切平面的交点、反补四面体顶点、三角形垂心、重心的反演点等。
- 方法：让 Claude 按 brute-force 思路考察四面体的 1957 个特殊点，选出 1096 个做全量扫描，共找到 1,622,536 个五点以上共球组合，剔除平凡和可由已知定理推出的结论后得到新定理。
- 作者称证明将随后公布，这是 AI for Math 的又一例证：即便在经典几何这样的成熟领域，AI 仍能发掘新定理。
「研究」频道最新
- Ask-to-Distill:自动合成问题提升在线蒸馏,无需正确答案标签 — UIUC-CS · 2026-10-22
- RFD4 团队用循环更新替代自条件,呼应 looped flows「思考模式」 — AllThingsApx · 2026-10-22
- MIT 新机器学习方法将 2-6 周期天气预报精度破纪录提升 — LesterMackey · 2026-10-22
- 哈佛本科生在微软研究院实习，ML 订次季节天气预报登 Nature — LesterMackey · 2026-10-22
- Chatlet：在群聊中自动生成的协作决策界面 — HaijunXia · 2026-10-22
- 研究者：想法足够具体，AI agent 几乎能自主完成整个研究 — burny_tech · 2026-10-22