几何吧 关注:25,374贴子:137,542

回复:机器推理

只看楼主收藏回复



IP属地:陕西来自Android客户端49楼2023-01-31 06:17
回复
    这是几何的未来啊!楼主太强了,是单枪匹马独立思考还是这个领域的一个团队合作研究的呢?


    IP属地:江苏51楼2023-02-11 19:42
    收起回复
      woc


      IP属地:河南来自Android客户端52楼2023-02-11 19:43
      回复







        IP属地:陕西来自Android客户端53楼2023-02-15 18:41
        回复



          IP属地:陕西来自Android客户端54楼2023-02-15 21:30
          回复


            IP属地:江苏来自Android客户端55楼2023-02-23 20:32
            回复
              代数机器证明 与这种方法是完全不同的两种方法,二者能否联系起来


              IP属地:云南56楼2023-03-01 21:29
              收起回复
                这条是用代数方法发现的结论,不知道难度如何?
                P是外接圆上任意点,P垂直于三边交外接圆于DpPePf,Pf,Hp是它们构成三角形的垂心,Q是西莫松直线与欧拉直线的交点。
                证明对于图中位置关系,
                OHp=OH,2*∠EQ 外心+∠H外心BC=180.00°


                IP属地:云南57楼2023-03-02 20:48
                收起回复
                  现在能否解决所有的小学-初中的校内考试几何证明题(非计算)?比如中考难度的
                  还有就是能不能用机器学习进行改进,将各大高联试题作为题库


                  IP属地:安徽58楼2023-07-09 17:27
                  收起回复


                    IP属地:陕西来自Android客户端59楼2023-07-26 00:38
                    回复


                      IP属地:陕西来自Android客户端60楼2023-07-26 00:42
                      回复


                        IP属地:陕西来自Android客户端62楼2023-07-26 06:56
                        收起回复



                          IP属地:陕西来自Android客户端64楼2023-09-14 08:58
                          回复




                            IP属地:陕西来自Android客户端65楼2023-09-18 19:34
                            回复
                              open ai举办了ai imo,用ai挑战imo平几题,奖金500w$,可以试试


                              IP属地:安徽66楼2023-12-03 00:48
                              回复