b******r
发帖数: 1 | 1 Ai下棋能赢人是因为它下了几亿盘训练自己。
人类职业棋手也就下几千盘训练。
什么时候同样的训练量，ai 能胜过人再说。 |
a****o
发帖数: 6612 | 2 训练后获得的只是参数。把这些参数拷贝一份（类似人类的围棋课），新的AI程序不需
要训练，就一样能胜过人。
【在 b******r 的大作中提到】
: Ai下棋能赢人是因为它下了几亿盘训练自己。
: 人类职业棋手也就下几千盘训练。
: 什么时候同样的训练量，ai 能胜过人再说。
|
b******r
发帖数: 1 | 3 Ai 5000盘期总结出的定式不如人类下5000盘期总结出的定式。
Ai之所以赢人类无非是暴力破解：下几亿盘来总结规律。
这和计算器比人算得快没区别。
: 训练后获得的只是参数。把这些参数拷贝一份（类似人类的围棋课），新的AI程
序不需
: 要训练，就一样能胜过人。
【在 a****o 的大作中提到】
: 训练后获得的只是参数。把这些参数拷贝一份（类似人类的围棋课），新的AI程序不需
: 要训练，就一样能胜过人。
|
a****o
发帖数: 6612 | 4 “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
【在 b******r 的大作中提到】
: Ai 5000盘期总结出的定式不如人类下5000盘期总结出的定式。
: Ai之所以赢人类无非是暴力破解：下几亿盘来总结规律。
: 这和计算器比人算得快没区别。
:
:
: 训练后获得的只是参数。把这些参数拷贝一份（类似人类的围棋课），新的AI程
: 序不需
:
: 要训练，就一样能胜过人。
:
|
C**********e
发帖数: 23303 | 5 无知者无畏
ai训练完后可以瞬间复制亿万围棋冠军
人还得傻乎乎学十几年 |
g***n
发帖数: 14250 | 6 下棋人类是下不过 AI 的，
但是 AI 干别的不行。
简单说，AI 就是死脑筋，没救的那种。
你让 AI 去诊断、修个车这样的活，也不可能 |
f****e
发帖数: 24964 | 7 阿法狗不是靠训练老套路，而是算法变了
当然新算法也是人类想出来的
【在 b******r 的大作中提到】
: Ai下棋能赢人是因为它下了几亿盘训练自己。
: 人类职业棋手也就下几千盘训练。
: 什么时候同样的训练量，ai 能胜过人再说。
|
b******r
发帖数: 1 | 8 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对比现在
的ai自己下5000盘强得多。
: “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
: 我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
【在 a****o 的大作中提到】
: “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
: 我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
|
g***n
发帖数: 14250 | 9 这你就不客观了，人不是机器，记不住那么多失败的路线
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对
比现在
: 的ai自己下5000盘强得多。
【在 b******r 的大作中提到】
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对比现在
: 的ai自己下5000盘强得多。
:
:
: “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
:
: 我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
:
|
w*******2
发帖数: 2199 | 10 这个也是扯鸡巴蛋
普通小孩学习围棋的能力绝对比AI低一百万个李奇微
【在 b******r 的大作中提到】
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对比现在
: 的ai自己下5000盘强得多。
:
:
: “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
:
: 我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
:
|
|
|
b******r
发帖数: 1 | 11 那有个卵用。
关键的进步都不是靠速度能实现的。
计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
: 无知者无畏
: ai训练完后可以瞬间复制亿万围棋冠军
: 人还得傻乎乎学十几年
【在 C**********e 的大作中提到】
: 无知者无畏
: ai训练完后可以瞬间复制亿万围棋冠军
: 人还得傻乎乎学十几年
|
C**********e
发帖数: 23303 | 12 ai看片子诊断癌症已经超越人类
: 下棋人类是下不过 AI 的，
: 但是 AI 干别的不行。
: 简单说，AI 就是死脑筋，没救的那种。
: 你让 AI 去诊断、修个车这样的活，也不可能
【在 g***n 的大作中提到】
: 这你就不客观了，人不是机器，记不住那么多失败的路线
:
:
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对
: 比现在
:
: 的ai自己下5000盘强得多。
:
|
C**********e
发帖数: 23303 | 13 ai看片子诊断癌症已经超越人类
: 下棋人类是下不过 AI 的，
: 但是 AI 干别的不行。
: 简单说，AI 就是死脑筋，没救的那种。
: 你让 AI 去诊断、修个车这样的活，也不可能
【在 g***n 的大作中提到】
: 这你就不客观了，人不是机器，记不住那么多失败的路线
:
:
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对
: 比现在
:
: 的ai自己下5000盘强得多。
:
|
b******r
发帖数: 1 | 14 人记忆当然比不了机器，但人总结归纳和“直觉”甩机器几亿条街。
: 这你就不客观了，人不是机器，记不住那么多失败的路线
: 比现在
【在 g***n 的大作中提到】
: 这你就不客观了，人不是机器，记不住那么多失败的路线
:
:
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对
: 比现在
:
: 的ai自己下5000盘强得多。
:
|
I*3
发帖数: 7012 | |
b******r
发帖数: 1 | 16 你丫看明白了再喷。
都是从零开始学。各下5000盘。
: 这个也是扯鸡巴蛋
: 普通小孩学习围棋的能力绝对比AI低一百万个李奇微
【在 w*******2 的大作中提到】
: 这个也是扯鸡巴蛋
: 普通小孩学习围棋的能力绝对比AI低一百万个李奇微
|
C**********e
发帖数: 23303 | 17 算100位乘除法？
比人远远快何止100倍
一亿倍都不止
算定积分人就更不行了
: 那有个卵用。
: 关键的进步都不是靠速度能实现的。
: 计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
【在 b******r 的大作中提到】
: 你丫看明白了再喷。
: 都是从零开始学。各下5000盘。
:
:
: 这个也是扯鸡巴蛋
:
: 普通小孩学习围棋的能力绝对比AI低一百万个李奇微
:
|
a****o
发帖数: 6612 | 18 记住，Alpha go的训练是程序自己跟自己下。
你让一个小孩自己跟自己下5000盘围棋，还没有老师的指导，别说总结出定式，恐怕连
规则都记不住。
当然，你得给多少糖，小孩才肯下完个3到5盘。
【在 b******r 的大作中提到】
: 你找个智力一般的小孩，告诉他围棋规则，让他自己下5000盘总结出的定式觉对比现在
: 的ai自己下5000盘强得多。
:
:
: “5000盘期总结出的定式不如人类下5000盘期总结出的定式”？
:
: 我很好奇那个“人类”下5000盘围棋能总结出定式来。师父教的还差不多。
:
|
g***n
发帖数: 14250 | 19 狗屁，只是按照人类设置的规则看而已，能看出人类没有规定的情况吗
: ai看片子诊断癌症已经超越人类
【在 C**********e 的大作中提到】
: 算100位乘除法？
: 比人远远快何止100倍
: 一亿倍都不止
: 算定积分人就更不行了
:
:
: 那有个卵用。
:
: 关键的进步都不是靠速度能实现的。
:
: 计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
:
|
a****o
发帖数: 6612 | 20 电脑不但能算定积分，还能算不定积分。
掌上计算器只有加入程序，一样也能。
【在 b******r 的大作中提到】
: 那有个卵用。
: 关键的进步都不是靠速度能实现的。
: 计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
:
:
: 无知者无畏
:
: ai训练完后可以瞬间复制亿万围棋冠军
:
: 人还得傻乎乎学十几年
:
|
|
|
k******r
发帖数: 2300 | 21 在我看来 凡是无法或者很难标准化的 AI都无法替代人类 |
b******r
发帖数: 1 | 22 下不完那是另外一回事。
现在假定就是小孩和ai都能下完5000盘。
: 记住，Alpha go的训练是程序自己跟自己下。
: 你让一个小孩自己跟自己下5000盘围棋，还没有老师的指导，别说总结出定式，
恐怕连
: 规则都记不住。
: 当然，你得给多少糖，小孩才肯下完个3到5盘。
【在 a****o 的大作中提到】
: 电脑不但能算定积分，还能算不定积分。
: 掌上计算器只有加入程序，一样也能。
|
w*******2
发帖数: 2199 | 23 叔被三胖给笑尿了
都从零开始， 普通小孩输得更惨
定式都是高手上百盘才总结出来的，
这1000盘下下来， 普通小孩连鸡巴毛的规律都没找到
AI已经是职业8段了
【在 b******r 的大作中提到】
: 你丫看明白了再喷。
: 都是从零开始学。各下5000盘。
:
:
: 这个也是扯鸡巴蛋
:
: 普通小孩学习围棋的能力绝对比AI低一百万个李奇微
:
|
w***u
发帖数: 17713 | |
I*3
发帖数: 7012 | 25 AI 能发明象xRay CT这些诊断手段吗
: ai看片子诊断癌症已经超越人类
【在 C**********e 的大作中提到】
: 算100位乘除法？
: 比人远远快何止100倍
: 一亿倍都不止
: 算定积分人就更不行了
:
:
: 那有个卵用。
:
: 关键的进步都不是靠速度能实现的。
:
: 计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
:
|
a****o
发帖数: 6612 | 26 告诉你规则，你能比AI的诊断更厉害吗？
【在 g***n 的大作中提到】
: 狗屁，只是按照人类设置的规则看而已，能看出人类没有规定的情况吗
:
:
: ai看片子诊断癌症已经超越人类
:
|
b******r
发帖数: 1 | 27 我说的是算加减乘除的计算器算不了定积分。它算加减乘除算得再快一亿倍也没用。也
就是做工科的才把速度当回事。
: 算100位乘除法？
: 比人远远快何止100倍
: 一亿倍都不止
: 算定积分人就更不行了
:
【在 C**********e 的大作中提到】
: 算100位乘除法？
: 比人远远快何止100倍
: 一亿倍都不止
: 算定积分人就更不行了
:
:
: 那有个卵用。
:
: 关键的进步都不是靠速度能实现的。
:
: 计算器算100位的加减乘除比人快至少100倍，但是能算定积分吗？
:
|
a****o
发帖数: 6612 | 28 在我看来，凡是人工成本比电脑更便宜的，AI都无法替代人类。
【在 k******r 的大作中提到】
: 在我看来 凡是无法或者很难标准化的 AI都无法替代人类
|
b******r
发帖数: 1 | 29 你语文阅读理解是零分吗？看明白了再回帖。
: 电脑不但能算定积分，还能算不定积分。
: 掌上计算器只有加入程序，一样也能。
【在 a****o 的大作中提到】
: 在我看来，凡是人工成本比电脑更便宜的，AI都无法替代人类。
|
a****o
发帖数: 6612 | 30 没有学过微积分的人类，一样也算不了了定积分。
【在 b******r 的大作中提到】
: 我说的是算加减乘除的计算器算不了定积分。它算加减乘除算得再快一亿倍也没用。也
: 就是做工科的才把速度当回事。
:
:
: 算100位乘除法？
:
: 比人远远快何止100倍
:
: 一亿倍都不止
:
: 算定积分人就更不行了
:
:
|
|
|
a****o
发帖数: 6612 | 31 你的逻辑是零分吗？
【在 b******r 的大作中提到】
: 你语文阅读理解是零分吗？看明白了再回帖。
:
:
: 电脑不但能算定积分，还能算不定积分。
:
: 掌上计算器只有加入程序，一样也能。
:
|
g***n
发帖数: 14250 | 32 这还用问吗，癌症诊断不是下棋，
制定诊断规则的医生显然比 AI 更在行
: 告诉你规则，你能比AI的诊断更厉害吗？
【在 a****o 的大作中提到】
: 你的逻辑是零分吗？
|
b******r
发帖数: 1 | 33 8段个卵。现在的围棋ai都是训练多少盘的？
职业选手都不见得能训练5000盘棋。你知道一个人下5000盘期是什么概念？
: 叔被三胖给笑尿了
: 都从零开始， 普通小孩输得更惨
: 定式都是高手上百盘才总结出来的，
: 这1000盘下下来， 普通小孩连鸡巴毛的规律都没找到
: AI已经是职业8段了
【在 w*******2 的大作中提到】
: 叔被三胖给笑尿了
: 都从零开始， 普通小孩输得更惨
: 定式都是高手上百盘才总结出来的，
: 这1000盘下下来， 普通小孩连鸡巴毛的规律都没找到
: AI已经是职业8段了
|
w*******2
发帖数: 2199 | 34 这绝对是扯鸡巴蛋
AI诊断被医生准确多了， 医生协会垄断不让用而已
【在 g***n 的大作中提到】
: 这还用问吗，癌症诊断不是下棋，
: 制定诊断规则的医生显然比 AI 更在行
:
:
: 告诉你规则，你能比AI的诊断更厉害吗？
:
|
b******r
发帖数: 1 | 35 500年前就没微积分，为啥现在就能算了？
: 没有学过微积分的人类，一样也算不了了定积分。
【在 a****o 的大作中提到】
: 你的逻辑是零分吗？
|
a****o
发帖数: 6612 | 36 制定诊断规则，和根据诊断规则来诊断是两个问题。
一开始讨论的是根据规则诊断的能力，AI优于人类。
就算围棋，其游戏规则也是人定的。
【在 g***n 的大作中提到】
: 这还用问吗，癌症诊断不是下棋，
: 制定诊断规则的医生显然比 AI 更在行
:
:
: 告诉你规则，你能比AI的诊断更厉害吗？
:
|
a****o
发帖数: 6612 | 37 5年前任何电脑程序都玩不过人类棋手，为啥现在出来个Alpha (GO)，连柯洁都下不过
呢？
【在 b******r 的大作中提到】
: 500年前就没微积分，为啥现在就能算了？
:
:
: 没有学过微积分的人类，一样也算不了了定积分。
:
|
b******r
发帖数: 1 | 38 一堆蠢蛋根本看不明白我说什么。
我举例子是说明ai是通过暴力方法某一领域超过人类。
靠的是运算速度快，几亿能力强。所以可以在短时间能大量训练。这和计算器比人类算
数快没本质区别。
但是速度再快也突破不了真正的屏障，比如从四则运算到定积分。
谁跟你们讨论电脑能不能算定积分？ |
b******r
发帖数: 1 | 39 现在的计算器比计算器刚发明出来的时候也更快了。有卵用？本质上都是暴力求解根本
不算智能。
: 5年前任何电脑程序都玩不过人类棋手，为啥现在出来个Alpha (GO)，连柯洁都
下不过
: 呢？
【在 a****o 的大作中提到】
: 5年前任何电脑程序都玩不过人类棋手，为啥现在出来个Alpha (GO)，连柯洁都下不过
: 呢？
|
b******r
发帖数: 1 | 40 我不否认这一点，但现在的ai靠的还是快速运算和无敌的记忆。没有本质的突破，根本
算不得智能。
: 制定诊断规则，和根据诊断规则来诊断是两个问题。
: 一开始讨论的是根据规则诊断的能力，AI优于人类。
: 就算围棋，其游戏规则也是人定的。
【在 a****o 的大作中提到】
: 5年前任何电脑程序都玩不过人类棋手，为啥现在出来个Alpha (GO)，连柯洁都下不过
: 呢？
|
|
|
C**********e
发帖数: 23303 | 41 能啊
无监督机器学习就是干这个的
比人厉害多了
: 狗屁，只是按照人类设置的规则看而已，能看出人类没有规定的情况吗
【在 g***n 的大作中提到】
: 这还用问吗，癌症诊断不是下棋，
: 制定诊断规则的医生显然比 AI 更在行
:
:
: 告诉你规则，你能比AI的诊断更厉害吗？
:
|
a****o
发帖数: 6612 | 42 量变多了，就开始质变了。以前AI不行，就是芯片的运算不够快（内存不够大）。
我相信随着AI的发展，可以象数学家一样发现和证明新的定理，象物理学家一样发现新
的物理规律。
实际上现在数学家也依赖程序做繁重的计算，而物理学家的数值模拟（还有繁复的公式
推导）也要依赖计算。从计算机的原理（比如图灵机）的角度来看，目前对计算机的
运用，以及将来的AI，并没有本质上差别，差的只是速度（和内存）。
【在 b******r 的大作中提到】
: 一堆蠢蛋根本看不明白我说什么。
: 我举例子是说明ai是通过暴力方法某一领域超过人类。
: 靠的是运算速度快，几亿能力强。所以可以在短时间能大量训练。这和计算器比人类算
: 数快没本质区别。
: 但是速度再快也突破不了真正的屏障，比如从四则运算到定积分。
: 谁跟你们讨论电脑能不能算定积分？
|
C**********e
发帖数: 23303 | 43 你不懂 ai
阿狗不是暴力解法 思路和人学棋下棋相似
: 现在的计算器比计算器刚发明出来的时候也更快了。有卵用？本质上都是暴力求
解根本
: 不算智能。
: 下不过
【在 b******r 的大作中提到】
: 我不否认这一点，但现在的ai靠的还是快速运算和无敌的记忆。没有本质的突破，根本
: 算不得智能。
:
:
: 制定诊断规则，和根据诊断规则来诊断是两个问题。
:
: 一开始讨论的是根据规则诊断的能力，AI优于人类。
:
: 就算围棋，其游戏规则也是人定的。
:
|
w***u
发帖数: 17713 | 44 5分钱一颗的microprocessor，功能非常强大了。microcenter卖5块钱的raspberry PI
，远超人类的各种能力。
【在 a****o 的大作中提到】
: 在我看来，凡是人工成本比电脑更便宜的，AI都无法替代人类。
|
C*****l
发帖数: 1 | 45 天下武功，唯快不破。你怎么知道人类的逻辑推理背后不是基于大量的计算的经验了
，比如丘成桐为了证明卡拉比猜想，尝试了1000个函数，到时候ai把你们碾压地哭。
【在 b******r 的大作中提到】
: 我不否认这一点，但现在的ai靠的还是快速运算和无敌的记忆。没有本质的突破，根本
: 算不得智能。
:
:
: 制定诊断规则，和根据诊断规则来诊断是两个问题。
:
: 一开始讨论的是根据规则诊断的能力，AI优于人类。
:
: 就算围棋，其游戏规则也是人定的。
:
|
a****o
发帖数: 6612 | 46 我觉得Alpha go的出现，还是对我来说挺震撼的。
好像有个图灵机测试，就是说，如果一个人和机器对话（或者是下围棋？），而人无法
分辨出对方是人还是机器，那么这个机器就具备了人工智能。
我不知道这个测试的说法还是不是准确。因为一个棋手和Alpha go下棋的时候，能判断
出对方不是人类棋手，而是比人类更强的电脑程序。
所以，我认为现在的电脑技术发展已经突破了人的智能。不同领域的智能是不是有突破
，取决于人力成本和对应的人工智能化的成本。
【在 b******r 的大作中提到】
: 我不否认这一点，但现在的ai靠的还是快速运算和无敌的记忆。没有本质的突破，根本
: 算不得智能。
:
:
: 制定诊断规则，和根据诊断规则来诊断是两个问题。
:
: 一开始讨论的是根据规则诊断的能力，AI优于人类。
:
: 就算围棋，其游戏规则也是人定的。
:
|
b******r
发帖数: 1 | 47 数理研究里只是辅助。绝大多数(95%以上)纯数研究里不会用到一点电脑，除了下载论
文，打 latex以外甚至可以不用一度电。
我不否认也许将来的一天 ai会比人类更智能。但现在这个趋势差得太远。现在的“ai
”在我看来和最初发明的四则运算计算器没有本质区别。
: 量变多了，就开始质变了。以前AI不行，就是芯片的运算不够快（内存不够大）。
: 我相信随着AI的发展，可以象数学家一样发现和证明新的定理，象物理学家一样
发现新
: 的物理规律。
: 实际上现在数学家也依赖程序做繁重的计算，而物理学家的数值模拟（还有繁复
的公式
: 推导）也要依赖计算。从计算机的原理（比如图灵机）的角度来看，目前对计算
机的
: 运用，以及将来的AI，并没有本质上差别，差的只是速度（和内存）。
【在 a****o 的大作中提到】
: 我觉得Alpha go的出现，还是对我来说挺震撼的。
: 好像有个图灵机测试，就是说，如果一个人和机器对话（或者是下围棋？），而人无法
: 分辨出对方是人还是机器，那么这个机器就具备了人工智能。
: 我不知道这个测试的说法还是不是准确。因为一个棋手和Alpha go下棋的时候，能判断
: 出对方不是人类棋手，而是比人类更强的电脑程序。
: 所以，我认为现在的电脑技术发展已经突破了人的智能。不同领域的智能是不是有突破
: ，取决于人力成本和对应的人工智能化的成本。
|
b******r
发帖数: 1 | 48 只要是通过计算速度比人快达到超过人类效果的就算暴力。
比如高考题有人做了10套模拟题最后得70，有人做了100万模拟题最后得90，你能说后
者智商更高吗？
: 你不懂 ai
: 阿狗不是暴力解法 思路和人学棋下棋相似
: 解根本
【在 C**********e 的大作中提到】
: 你不懂 ai
: 阿狗不是暴力解法 思路和人学棋下棋相似
:
:
: 现在的计算器比计算器刚发明出来的时候也更快了。有卵用？本质上都是暴力求
: 解根本
:
: 不算智能。
:
: 下不过
:
|
a****o
发帖数: 6612 | 49 对。实际上连爱因斯坦发展广义相对论，也是有过很多尝试，甚至一开始得到的方程都
是错的。
无论物理定律的发现，还是数学猜想的证明，本质上都是类似于Alpha go里面的搜索和
计算。
牛人不过是搜索和计算的能力强大而已。
【在 C*****l 的大作中提到】
: 天下武功，唯快不破。你怎么知道人类的逻辑推理背后不是基于大量的计算的经验了
: ，比如丘成桐为了证明卡拉比猜想，尝试了1000个函数，到时候ai把你们碾压地哭。
|
a****o
发帖数: 6612 | 50 首先，只要题目够难，笨人做100万套模拟也考不到90 （满分150分）。
笨人实际上做不完100万套模拟题，因为他（她）速度太慢了。
【在 b******r 的大作中提到】
: 只要是通过计算速度比人快达到超过人类效果的就算暴力。
: 比如高考题有人做了10套模拟题最后得70，有人做了100万模拟题最后得90，你能说后
: 者智商更高吗？
:
:
: 你不懂 ai
:
: 阿狗不是暴力解法 思路和人学棋下棋相似
:
: 解根本
:
|
|
|
b******r
发帖数: 1 | 51 到达尝试1000和函数之前靠的就不是速度。如果仅仅是速度为啥没别人尝试这1000个函
数？最后真的到达可以算得底部的时候大部分问题就已经变得 trivial 了，真正难得
是开始算之前的那些铺垫。
退一万步说，函数有不可数多个，你以为丘是随便挑了1000个试的吗？换了 ai 来 它
根本不知道要试哪个，算得再快也没用。
: 天下武功，唯快不破。你怎么不知道人类的逻辑推理背后不是基于大量的计算的
经验了
: ，比如丘成桐为了证明卡拉比猜想，尝试了1000个函数，到时候ai把你们碾压地
哭。
【在 C*****l 的大作中提到】
: 天下武功，唯快不破。你怎么知道人类的逻辑推理背后不是基于大量的计算的经验了
: ，比如丘成桐为了证明卡拉比猜想，尝试了1000个函数，到时候ai把你们碾压地哭。
|
C*****l
发帖数: 1 | 52 曾几何时，我们也相信神之一手，围棋大师的选点有一点哲学的道与神性的一面，老丘
选那1000个函数当然不是随便选的，是基于他数学学习的经验，但是现在谁还敢说这种
经验和哲学的东西不能模拟
【在 b******r 的大作中提到】
: 到达尝试1000和函数之前靠的就不是速度。如果仅仅是速度为啥没别人尝试这1000个函
: 数？最后真的到达可以算得底部的时候大部分问题就已经变得 trivial 了，真正难得
: 是开始算之前的那些铺垫。
: 退一万步说，函数有不可数多个，你以为丘是随便挑了1000个试的吗？换了 ai 来 它
: 根本不知道要试哪个，算得再快也没用。
:
:
: 天下武功，唯快不破。你怎么不知道人类的逻辑推理背后不是基于大量的计算的
: 经验了
:
: ，比如丘成桐为了证明卡拉比猜想，尝试了1000个函数，到时候ai把你们碾压地
: 哭。
|
a****o
发帖数: 6612 | 53 别的不说，我知道张益唐的论文出来后，跟进的人就有写计算机程序做计算，可能是获
得一些环节的中间值，进而达到获得更小的Gap的值。
黎曼猜想的零点的值的计算，也有通过计算机来计算的（因为只要有一个反例，就能证
明猜想是错的。）
即使是定理的证明，或者公理化，我认为也可以用电脑来实现。
“绝大多数(95%以上)纯数研究里不会用到一点电脑”，这并不表明电脑不能用于纯数
研究，更不能证明人工智能不能再纯数学研究上超越人类。
ai
）。
【在 b******r 的大作中提到】
: 数理研究里只是辅助。绝大多数(95%以上)纯数研究里不会用到一点电脑，除了下载论
: 文，打 latex以外甚至可以不用一度电。
: 我不否认也许将来的一天 ai会比人类更智能。但现在这个趋势差得太远。现在的“ai
: ”在我看来和最初发明的四则运算计算器没有本质区别。
:
:
: 量变多了，就开始质变了。以前AI不行，就是芯片的运算不够快（内存不够大）。
:
: 我相信随着AI的发展，可以象数学家一样发现和证明新的定理，象物理学家一样
: 发现新
:
: 的物理规律。
:
: 实际上现在数学家也依赖程序做繁重的计算，而物理学家的数值模拟（还有繁复
|
b******r
发帖数: 1 | 54 这里面的“计算能力”跟ai的那种计算不是一回事。
夸一个牛人计算能力强的时候说的可不是他算得比别人快比别人准。这里面的“算”是
一种对智能要求很高的算不是ai那种机械的算。
: 对。实际上连爱因斯坦发展广义相对论，也是有过很多尝试，甚至一开始得到的
方程都
: 是错的。
: 无论物理定律的发现，还是数学猜想的证明，本质上都是类似于Alpha go里面的
搜索和
: 计算。
: 牛人不过是搜索和计算的能力强大而已。
【在 a****o 的大作中提到】
: 别的不说，我知道张益唐的论文出来后，跟进的人就有写计算机程序做计算，可能是获
: 得一些环节的中间值，进而达到获得更小的Gap的值。
: 黎曼猜想的零点的值的计算，也有通过计算机来计算的（因为只要有一个反例，就能证
: 明猜想是错的。）
: 即使是定理的证明，或者公理化，我认为也可以用电脑来实现。
: “绝大多数(95%以上)纯数研究里不会用到一点电脑”，这并不表明电脑不能用于纯数
: 研究，更不能证明人工智能不能再纯数学研究上超越人类。
:
: ai
: ）。
|
C*****l
发帖数: 1 | 55 符号计算计算机也可以做，未来AI做的比人好也不是不可能。
【在 b******r 的大作中提到】
: 这里面的“计算能力”跟ai的那种计算不是一回事。
: 夸一个牛人计算能力强的时候说的可不是他算得比别人快比别人准。这里面的“算”是
: 一种对智能要求很高的算不是ai那种机械的算。
:
:
: 对。实际上连爱因斯坦发展广义相对论，也是有过很多尝试，甚至一开始得到的
: 方程都
:
: 是错的。
:
: 无论物理定律的发现，还是数学猜想的证明，本质上都是类似于Alpha go里面的
: 搜索和
:
: 计算。
|
b******r
发帖数: 1 | 56 所以我说95%不能，现在只能是辅助。
我也没否认以后有可能超过人类。但一定不是现在这种形式的 ai.
现在这个样子跟计算器没本质区别。
事实上现在研究中电脑也只是当成计算器来用的。
: 别的不说，我知道张益唐的论文出来后，跟进的人就有写计算机程序做计算，可
能是获
: 得一些环节的中间值，进而达到获得更小的Gap的值。
: 黎曼猜想的零点的值的计算，也有通过计算机来计算的（因为只要有一个反例，
就能证
: 明猜想是错的。）
: 即使是定理的证明，或者公理化，我认为也可以用电脑来实现。
: “绝大多数(95%以上)纯数研究里不会用到一点电脑”，这并不表明电脑不能用
于纯数
: 研究，更不能证明人工智能不能再纯数学研究上超越人类。
: ai
: ）。
【在 a****o 的大作中提到】
: 别的不说，我知道张益唐的论文出来后，跟进的人就有写计算机程序做计算，可能是获
: 得一些环节的中间值，进而达到获得更小的Gap的值。
: 黎曼猜想的零点的值的计算，也有通过计算机来计算的（因为只要有一个反例，就能证
: 明猜想是错的。）
: 即使是定理的证明，或者公理化，我认为也可以用电脑来实现。
: “绝大多数(95%以上)纯数研究里不会用到一点电脑”，这并不表明电脑不能用于纯数
: 研究，更不能证明人工智能不能再纯数学研究上超越人类。
:
: ai
: ）。
|
c******t
发帖数: 944 | 57 为啥？人类棋手还可以操逼，ai不能。是不是人类棋手阉割以后才能跟ai比
【在 b******r 的大作中提到】
: Ai下棋能赢人是因为它下了几亿盘训练自己。
: 人类职业棋手也就下几千盘训练。
: 什么时候同样的训练量，ai 能胜过人再说。
|
b******r
发帖数: 1 | 58 不是符号计算。
他们说的那种计算里需要很多缩放，替换之类的技术。没有什么一定之规，很多时候靠
的可能都是直觉。
说某人计算能力强的时候说的不是他算得快，而是只有他能算出来，别人算不出来。这
种玩意现在的ai 不可能玩的转。
: 符号计算计算机也可以做，未来AI做的比人好也不是不可能。
【在 C*****l 的大作中提到】
: 符号计算计算机也可以做，未来AI做的比人好也不是不可能。
|
c******t
发帖数: 944 | |
b******r
发帖数: 1 | 60 撕逼与智能关系不大。
智能代表的是归纳总结抽象直观的能力，所以要规定训练同样的盘数，不然就是作弊。
或者不要宣称自己是智能。
: 为啥？人类棋手还可以操逼，ai不能。是不是人类棋手阉割以后才能跟ai比
【在 c******t 的大作中提到】
: Ai确实是狗屎
: 但是ai下棋比人类强
|
|
|
a****o
发帖数: 6612 | 61 硅基芯片的电脑，其原理是图灵机。Alpha GO是基于图灵机的，已经击败了人类棋手。
人工智能已经超越人类了。
“事实上现在研究中电脑也只是当成计算器来用的”
我不知道你是怎么区分开电脑和计算器的。在我看来，计算器和电脑在原理上并没有本
质的不同，后者速度更快，内存更大，计算功能更强大。
【在 b******r 的大作中提到】
: 所以我说95%不能，现在只能是辅助。
: 我也没否认以后有可能超过人类。但一定不是现在这种形式的 ai.
: 现在这个样子跟计算器没本质区别。
: 事实上现在研究中电脑也只是当成计算器来用的。
:
:
: 别的不说，我知道张益唐的论文出来后，跟进的人就有写计算机程序做计算，可
: 能是获
:
: 得一些环节的中间值，进而达到获得更小的Gap的值。
:
: 黎曼猜想的零点的值的计算，也有通过计算机来计算的（因为只要有一个反例，
: 就能证
|
b******r
发帖数: 1 | 62 对我来说也没什么区别。
靠的都是运算速度快，记忆能力强，当然速度有强弱之分。
但做数学的习惯无视速度。
: 硅基芯片的电脑，其原理是图灵机。Alpha GO是基于图灵机的，已经击败了人类
棋手。
: 人工智能已经超越人类了。
: “事实上现在研究中电脑也只是当成计算器来用的”
: 我不知道你是怎么区分开电脑和计算器的。在我看来，计算器和电脑在原理上并
没有本
: 质的不同，后者速度更快，内存更大，计算功能更强大。
【在 a****o 的大作中提到】
: 硅基芯片的电脑，其原理是图灵机。Alpha GO是基于图灵机的，已经击败了人类棋手。
: 人工智能已经超越人类了。
: “事实上现在研究中电脑也只是当成计算器来用的”
: 我不知道你是怎么区分开电脑和计算器的。在我看来，计算器和电脑在原理上并没有本
: 质的不同，后者速度更快，内存更大，计算功能更强大。
|
C*****l
发帖数: 1 | 63 现在的ai当然还不行，但是我琢磨着这玩意其实本质上没有差别，300年，1000年，最
终会做出来。所谓直觉，就是你做的多，做过类似的东西，现在联想一下。
【在 b******r 的大作中提到】
: 不是符号计算。
: 他们说的那种计算里需要很多缩放，替换之类的技术。没有什么一定之规，很多时候靠
: 的可能都是直觉。
: 说某人计算能力强的时候说的不是他算得快，而是只有他能算出来，别人算不出来。这
: 种玩意现在的ai 不可能玩的转。
:
:
: 符号计算计算机也可以做，未来AI做的比人好也不是不可能。
:
|
a****o
发帖数: 6612 | 64 AI is a nice shit.
【在 c******t 的大作中提到】
: Ai确实是狗屎
: 但是ai下棋比人类强
|
a****o
发帖数: 6612 | 65 不用小看了“速度”在数学里面的重要性。
你可以了解一下，黎曼在这方面是为何这么牛皮的。黎曼计算零点的公式，被淹没在手
稿里，比几十年后别的数学家的公式还要快。黎曼如果不是“计算”速度快，很难想象
他是如何最早发现那个公式的。
https://en.wikipedia.org/wiki/Riemann%E2%80%93Siegel_formula
【在 b******r 的大作中提到】
: 对我来说也没什么区别。
: 靠的都是运算速度快，记忆能力强，当然速度有强弱之分。
: 但做数学的习惯无视速度。
:
:
: 硅基芯片的电脑，其原理是图灵机。Alpha GO是基于图灵机的，已经击败了人类
: 棋手。
:
: 人工智能已经超越人类了。
:
: “事实上现在研究中电脑也只是当成计算器来用的”
:
: 我不知道你是怎么区分开电脑和计算器的。在我看来，计算器和电脑在原理上并
: 没有本
|
