S*E
发帖数: 3662 | 1 数学和围棋一样是规则简单明确，完全信息的游戏。
攻克数学难题的意义就太大了。
当然，解决科学问题的意义可能更大。但这些问题还需要做实验，离围棋要远一些。 |
d**s
发帖数: 4741 | 2 数学题分两种，一种是答案根本未知的问题，这是数学研究的内容。另一种是知道答案
然后编出来坑人的题目，这是数学竞赛题，你说的是哪种题 |
S*E
发帖数: 3662 | 3 都可以。对于AI，答案都是未知的。当然，可以用简单的给它练手。
【在 d**s 的大作中提到】
: 数学题分两种，一种是答案根本未知的问题，这是数学研究的内容。另一种是知道答案
: 然后编出来坑人的题目，这是数学竞赛题，你说的是哪种题
|
d**s
发帖数: 4741 | 4 我记得哥德尔有个好友叫王浩 据说是晚年哥德尔唯一的交流对象，王浩就是这种机械
化证明的专家
【在 S*E 的大作中提到】
: 都可以。对于AI，答案都是未知的。当然，可以用简单的给它练手。
|
S*E
发帖数: 3662 | 5 当然要提吴文俊的名字了。不过现在是新一轮的AI，可以再试试数学证明。
【在 d**s 的大作中提到】
: 我记得哥德尔有个好友叫王浩 据说是晚年哥德尔唯一的交流对象，王浩就是这种机械
: 化证明的专家
|
d**s
发帖数: 4741 | 6 应该解决不了Schramm–Loewner evolution问题 |
b***y
发帖数: 14281 | 7 不能。这个问题我想过。困难在于数学问题每走一步都无法判断到底是离解近了还是远
了，这是和围棋最大的区别。围棋你可以判断局面优劣来取舍，选择最优解，解数学问
题在直到解出来之前你无法知道哪一个方向最有机会成功。有时候明明看着就差一步一
遥，在命题空间里这两个点看着近，但实际可能很遥远。
★ 发自iPhone App: ChineseWeb 16
★ 发自iPhone App: ChineseWeb 16
【在 S*E 的大作中提到】
: 数学和围棋一样是规则简单明确，完全信息的游戏。
: 攻克数学难题的意义就太大了。
: 当然，解决科学问题的意义可能更大。但这些问题还需要做实验，离围棋要远一些。
|
x****u
发帖数: 44466 | 8 数学问题也一样，有直觉在可以教给电脑
【在 b***y 的大作中提到】
: 不能。这个问题我想过。困难在于数学问题每走一步都无法判断到底是离解近了还是远
: 了，这是和围棋最大的区别。围棋你可以判断局面优劣来取舍，选择最优解，解数学问
: 题在直到解出来之前你无法知道哪一个方向最有机会成功。有时候明明看着就差一步一
: 遥，在命题空间里这两个点看着近，但实际可能很遥远。
:
: ★ 发自iPhone App: ChineseWeb 16
: ★ 发自iPhone App: ChineseWeb 16
|
