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