网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
几何吧 关注：25,374贴子：137,544
机器推理
IP属地:陕西来自Android客户端1楼2021-12-15 23:36回复
    好！能用来证明难题吗？
    IP属地:山东来自Android客户端2楼2021-12-16 17:29
    收起回复
      优化第十天，99道样例的均耗时由717毫秒下降到245毫秒。
      IP属地:陕西来自Android客户端3楼2022-03-04 08:00
      回复
        但是要手工做出辅助线 这软件就没啥用阿..
        IP属地:上海4楼2022-03-04 19:14
        收起回复
          进入第三阶段，由辅助证明到完全自主证明，动态根据现有等量关系和结论倒推，添加辅助点、线。
          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
                  回复
                    接受测试吗
                    IP属地:广东来自Android客户端11楼2022-04-30 10:01
                    收起回复
                      厉害！
                      IP属地:天津来自Android客户端12楼2022-04-30 13:01
                      回复
                        智能解答第66届罗马尼亚国家队选拔考试题
                        IP属地:陕西来自Android客户端13楼2022-05-05 15:31
                        回复
                          楼主除了第一张图其他的都看不清楚
                          IP属地:天津来自Android客户端14楼2022-05-06 12:09
                          收起回复
                            完善对关联条件的几何点定位。
                            IP属地:陕西来自Android客户端15楼2022-05-08 08:16
                            回复
                              我感觉要缩短逻辑过程有一个关键，不知是否能做到？那就是引用已有的结论作为引理
                              IP属地:山东来自Android客户端16楼2022-05-08 17:18
                              收起回复

                                扫二维码下载贴吧客户端

                                下载贴吧APP
                                看高清直播、视频！
                                发表回复
                                发贴请遵守贴吧协议及“七条底线”贴吧投诉
                                内  容:
                                  查看全部
                                发 表
                                保存至快速回贴