几何吧 关注:25,968贴子:138,909
机器推理


IP属地:陕西来自Android客户端1楼2021-12-15 23:36回复
    优化第十天,99道样例的均耗时由717毫秒下降到245毫秒。


    IP属地:陕西来自Android客户端3楼2022-03-04 08:00
    回复
      进入第三阶段,由辅助证明到完全自主证明,动态根据现有等量关系和结论倒推,添加辅助点、线。


      IP属地:陕西来自Android客户端5楼2022-03-22 10:16
      收起回复
        对第31届巴尔干地区数学奥林匹克题的智能解答,包括辅助线的自主添加。


        IP属地:陕西来自Android客户端6楼2022-03-23 23:22
        收起回复
          一题多解,只选了两个,程序尽可能多的建立合理的因果链,合理但不简洁。



          IP属地:陕西来自Android客户端8楼2022-03-28 07:39
          回复
            目前最复杂的辅助线自主添加


            IP属地:陕西来自Android客户端9楼2022-04-01 11:17
            回复
              对一道选拔题的机器自主解答




              IP属地:陕西来自Android客户端10楼2022-04-30 07:41
              回复
                智能解答第66届罗马尼亚国家队选拔考试题


                IP属地:陕西来自Android客户端13楼2022-05-05 15:31
                回复
                  完善对关联条件的几何点定位。





                  IP属地:陕西来自Android客户端15楼2022-05-08 08:16
                  回复
                    完善对等同点的处理




                    IP属地:陕西来自Android客户端19楼2022-05-09 14:41
                    回复
                      2013 罗马尼亚国家队选拔考试





                      IP属地:陕西来自Android客户端20楼2022-05-11 08:26
                      回复
                        第30届中国数学奥林匹克



                        IP属地:陕西来自Android客户端21楼2022-06-16 07:56
                        回复
                          识别对象中的等同结构,并在等同结构中迁移等量关系。


                          IP属地:陕西来自Android客户端22楼2022-06-19 05:30
                          回复
                            创造力=推理能力+探索能力,绝非单纯的因规而算的能力。平几无疑是训练上述能力的最佳载体。培养推理的广度和深度,以及领悟用“对称”这一根本的工具去探索未知领域的直觉。


                            IP属地:陕西来自Android客户端24楼2022-09-06 22:34
                            回复


                              IP属地:陕西来自Android客户端28楼2022-09-07 23:10
                              回复