BREAKING：我用Claude协助，发现了一个立体几何的新定理：七点球。这个工作我将会发表。一个任意的四面体，设其顶点为V0，V1，V2，V3，则以下七… · @snowboat84 · TwKit

@snowboat84

BREAKING：我用Claude协助，发现了一个立体几何的新定理：七点球。这个工作我将会发表。一个任意的四面体，设其顶点为V0，V1，V2，V3，则以下七个点共一个球面：（A）V0和四面体重心G连线和四面体外接球的交点；（B）四面体外接球在V1，V2，V3处三个切平面的交点；（C）V1V2V3反补四面体的顶点；（H'）V1V2V3三角形的垂心；（E）重心G关于外接球的反演点；（D）以外接球球心O为中心把G向外延伸到四倍的点；（F）以O为中心，把V1V2V3的外心O'延伸到四倍的点。 这七个点共球，其示意视频我附在下面。证明将在今天晚些时候贴出来。 这个新定理，是我让Claude按照brute-force，考察了四面体的1957个特殊点，选出1096个点做全量扫描，一共找到了1,622,536个五点以上共球，去掉所有平凡的和可由已知定理结论推出的，所找到的新定理。这是AI for Math的又一个例子：即便是在经典几何这样的老领域，AI依旧可以发掘出新的定理来。

曝光 19 · 评论 0 · 点赞 0 · 书签 0