w********e
发帖数: 8594 | 1 几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了。 |
M*P
发帖数: 6456 | 2 我上中学时候，差不多十年前就能证几何题了
【在 w********e 的大作中提到】
: 几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了。
|
t**8
发帖数: 4527 | 3 这个应该很简单， 因为平面几何的证明题就是有限的枚举法
只是没有实际利益， 没人做这样的算法
比围棋简单太多了
【在 w********e 的大作中提到】
: 几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了。
|
j******l
发帖数: 2790 | 4 初等几何证明十几年以前就已经很成熟了
[在 whoknowsme (猛面上网) 的大作中提到：]
：几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了
。--
：※ 来源:·WWW 未名空间站 网址：mitbbs.com 移动：在应用商店搜索未名空间·[
FROM: 24.]
：........... |
e*******o
发帖数: 2271 | 5 吴方法
【在 j******l 的大作中提到】
: 初等几何证明十几年以前就已经很成熟了
: [在 whoknowsme (猛面上网) 的大作中提到：]
: ：几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了
: 。--
: ：※ 来源:·WWW 未名空间站 网址：mitbbs.com 移动：在应用商店搜索未名空间·[
: FROM: 24.]
: ：...........
|
g***n
发帖数: 14250 | |
e*******o
发帖数: 2271 | 7 无管可撸
【在 g***n 的大作中提到】
: 电脑最致命的缺陷是不会做梦
|
w********e
发帖数: 8594 | 8 我孤陋寡闻了
【在 j******l 的大作中提到】
: 初等几何证明十几年以前就已经很成熟了
: [在 whoknowsme (猛面上网) 的大作中提到：]
: ：几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了
: 。--
: ：※ 来源:·WWW 未名空间站 网址：mitbbs.com 移动：在应用商店搜索未名空间·[
: FROM: 24.]
: ：...........
|
t**8
发帖数: 4527 | 9 就是不能生产智能生物
【在 g***n 的大作中提到】
: 电脑最致命的缺陷是不会做梦
|
g***n
发帖数: 14250 | 10 电脑能生产跟它一样的电脑，就是克隆。
要想弄出点变异，那是万万不能
【在 t**8 的大作中提到】
: 就是不能生产智能生物
|
j****c
发帖数: 19908 | 11 你搜一下地图四色问题是谁证明的
【在 w********e 的大作中提到】
: 几何证明题也行。搞数学弄个题库里没有的题。机器要能做出来，那人类就得小心了。
|
