这是几何的未来啊！楼主太强了，是单枪匹马独立思考还是这个领域的一个团队合作研究的呢？

woc

顶

代数机器证明 与这种方法是完全不同的两种方法，二者能否联系起来

这条是用代数方法发现的结论，不知道难度如何？
P是外接圆上任意点，P垂直于三边交外接圆于DpPePf，Pf，Hp是它们构成三角形的垂心，Q是西莫松直线与欧拉直线的交点。
证明对于图中位置关系，
OHp=OH，2*∠EQ 外心+∠H外心BC=180.00°

现在能否解决所有的小学-初中的校内考试几何证明题（非计算）？比如中考难度的
还有就是能不能用机器学习进行改进，将各大高联试题作为题库

open ai举办了ai imo，用ai挑战imo平几题，奖金500w$，可以试试

象 https://bbs.emath.ac.cn/thread-19278-1-1.html 这种完全点、线关系的题目，能否 100% 推证出来？（不知能否 100% 通过透视关系来获得证明），我觉得这种类型的题目或许相对简单，也在想写个程序尝试一下。