b*******8
发帖数: 37364 | 1 群论里面已经把这个问题研究透了，那些N能哪些不能。取一个很大的N，可解的，人要
把过程画出来很累，但通过计算机辅助迭代，可以把整个过程列出来，这个应该算人能
解决。
深度学习不可能发展出群论，给一个足够大的可解的N，应该可以击败AI，让AI在宇宙
灭亡前都找不出解法来。这个可以算人胜过目前AI的地方吧？人只花了两千年时间就搞
清楚了。
也就是说，有规律可循，可扩展大小的问题，人可以通过演绎找到任意大尺寸的解法，
而AI深度学习则不可能解决无穷大的问题。 |
C**********e
发帖数: 23303 | 2 你对AI的发展还有局限性
目前AI解不了是没有找到更适合AI的学习方式
【在 b*******8 的大作中提到】
: 群论里面已经把这个问题研究透了，那些N能哪些不能。取一个很大的N，可解的，人要
: 把过程画出来很累，但通过计算机辅助迭代，可以把整个过程列出来，这个应该算人能
: 解决。
: 深度学习不可能发展出群论，给一个足够大的可解的N，应该可以击败AI，让AI在宇宙
: 灭亡前都找不出解法来。这个可以算人胜过目前AI的地方吧？人只花了两千年时间就搞
: 清楚了。
: 也就是说，有规律可循，可扩展大小的问题，人可以通过演绎找到任意大尺寸的解法，
: 而AI深度学习则不可能解决无穷大的问题。
|
S**********p
发帖数: 331 | 3 AI为什么需要关心这种理想世界的问题？
鸟的脑子不会算伯努利方程，一样可以飞起来。人类醉心于解决这种针尖上站天使的智
力游戏的时候，AI就用粗糙模型，实现统治宇宙了。 |
d**s
发帖数: 4741 | 4 AI本身就是微积分怎么能理解数学
你怎么可能让微积分理解微积分 |
S**********p
发帖数: 331 | 5 索南被科学和数学教洗脑多年，还没意识到数学本身就是一个大tautology。 |
S**********p
发帖数: 331 | 6 真正以与物质世界互动为目的设计的AI绝不会花无用功在tautology上
: 索南被科学和数学教洗脑多年，还没意识到数学本身就是一个大tautology。
【在 S**********p 的大作中提到】
: 索南被科学和数学教洗脑多年，还没意识到数学本身就是一个大tautology。
|
b*******8
发帖数: 37364 | 7 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学结构能
一举确定性解决任何尺寸的围棋问题，就赢了AI。
【在 S**********p 的大作中提到】
: AI为什么需要关心这种理想世界的问题？
: 鸟的脑子不会算伯努利方程，一样可以飞起来。人类醉心于解决这种针尖上站天使的智
: 力游戏的时候，AI就用粗糙模型，实现统治宇宙了。
|
b*******8
发帖数: 37364 | 8 你再说说为啥要AI下棋，并用这个来说明比人强？
在类似下棋的尺规作图领域不如人，就又说这个没意义了？
等到现实世界AI遇到困难，就又回到下棋领域找个新游戏赢人，找回优越感？
LOL
【在 S**********p 的大作中提到】
: 真正以与物质世界互动为目的设计的AI绝不会花无用功在tautology上
:
:
: 索南被科学和数学教洗脑多年，还没意识到数学本身就是一个大tautology。
:
|
S**********p
发帖数: 331 | 9 下围棋证明AI不需要”理解”任何东西就可以比人类做的好。
制造AI的目的不是为了寻找什么“客观真理”（本身就不存在），而是为了做一些事情
比人做的更好，这样人就不用做了。
: 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
: 尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学
结构能
: 一举确定性解决任何尺寸的围棋问题，就赢了AI。
【在 b*******8 的大作中提到】
: 你再说说为啥要AI下棋，并用这个来说明比人强？
: 在类似下棋的尺规作图领域不如人，就又说这个没意义了？
: 等到现实世界AI遇到困难，就又回到下棋领域找个新游戏赢人，找回优越感？
: LOL
|
S**********p
发帖数: 331 | 10 以后AI学会给瘫痪老人擦屁股，给索南deepfake高圆圆的时候，谁在乎AI不懂群论怎么
等分圆 |
|
|
C**********e
发帖数: 23303 | 11 AI和微积分一根毛的关系都没有
【在 d**s 的大作中提到】
: AI本身就是微积分怎么能理解数学
: 你怎么可能让微积分理解微积分
|
S**********p
发帖数: 331 | 12 “也许有一天人类发现了某种数学结构能一举确定性解决任何尺寸的围棋问题”
你论证一下人脑“发现数学结构”不是靠trial error。
: 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
: 尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学
结构能
: 一举确定性解决任何尺寸的围棋问题，就赢了AI。
【在 b*******8 的大作中提到】
: 你再说说为啥要AI下棋，并用这个来说明比人强？
: 在类似下棋的尺规作图领域不如人，就又说这个没意义了？
: 等到现实世界AI遇到困难，就又回到下棋领域找个新游戏赢人，找回优越感？
: LOL
|
d*****u
发帖数: 17243 | 13 Backpropagation就是微积分的应用啊
【在 C**********e 的大作中提到】
: AI和微积分一根毛的关系都没有
|
b*******8
发帖数: 37364 | 14 只能证明某些方面可以做得更好，起重机比人力气大，机器强过人的地方早就证实了。
AI能做某些事情，大家都知道了，没有人否认。这里只是指出AI的明显弱点。
围棋赢了人，AI界可不是跟你说我某些游戏能赢你，而是一种我所有游戏都能赢你的口
气。我举尺规的例子，就是说明有些游戏问题有确定通解，而且并不复杂（尺规作图群
论在神迹文明哪里肯定不能算多难），AI反而不行。
【在 S**********p 的大作中提到】
: 下围棋证明AI不需要”理解”任何东西就可以比人类做的好。
: 制造AI的目的不是为了寻找什么“客观真理”（本身就不存在），而是为了做一些事情
: 比人做的更好，这样人就不用做了。
:
:
: 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
:
: 尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学
: 结构能
:
: 一举确定性解决任何尺寸的围棋问题，就赢了AI。
:
|
d**s
发帖数: 4741 | 15 不是 是直觉
【在 S**********p 的大作中提到】
: “也许有一天人类发现了某种数学结构能一举确定性解决任何尺寸的围棋问题”
: 你论证一下人脑“发现数学结构”不是靠trial error。
:
:
: 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
:
: 尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学
: 结构能
:
: 一举确定性解决任何尺寸的围棋问题，就赢了AI。
:
|
b*******8
发帖数: 37364 | 16 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪里说了
人脑不是在Trial Error？
至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
【在 S**********p 的大作中提到】
: “也许有一天人类发现了某种数学结构能一举确定性解决任何尺寸的围棋问题”
: 你论证一下人脑“发现数学结构”不是靠trial error。
:
:
: 那下围棋干什么？用围棋来证明AI比人厉害有什么用？
:
: 尺规作图明显也是规则确定的问题，类似下棋。也许有一天人类发现了某种数学
: 结构能
:
: 一举确定性解决任何尺寸的围棋问题，就赢了AI。
:
|
S**********p
发帖数: 331 | 17 他们吹的general purpose的强AI我从来不信。
这个世界上没有general purpose的东西，连人脑都不是。
但是AI在很多领域会超过人脑我深信不疑。
: 只能证明某些方面可以做得更好，起重机比人力气大，机器强过人的地方早就证
实了。
: AI能做某些事情，大家都知道了，没有人否认。这里只是指出AI的明显弱点。
: 围棋赢了人，AI界可不是跟你说我某些游戏能赢你，而是一种我所有游戏都能赢
你的口
: 气。我举尺规的例子，就是说明有些游戏问题有确定通解，而且并不复杂（尺规
作图群
: 论在神迹文明哪里肯定不能算多难），AI反而不行。
【在 b*******8 的大作中提到】
: 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪里说了
: 人脑不是在Trial Error？
: 至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
|
d*****u
发帖数: 17243 | 18 从实践角度来说，有些数学概念确实是多余的。
比如直线，射线，线段这些，都是为了体系完整。但AI不需要这些概念。
【在 b*******8 的大作中提到】
: 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪里说了
: 人脑不是在Trial Error？
: 至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
|
S**********p
发帖数: 331 | 19 发明群论的那几个人脑也不会写中国诗。
所以这个例子只能证明未经训练的智能机器（有机的或者硅基的）干不了它未经训练的
事情。不能证明AI和人脑的水平差异。
: 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪
里说了
: 人脑不是在Trial Error？
: 至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
【在 b*******8 的大作中提到】
: 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪里说了
: 人脑不是在Trial Error？
: 至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
|
S**********p
发帖数: 331 | 20 是神启，是摩西被晒晕了头看见荆棘里出现了不烫手的火。
: 不是 是直觉
【在 d**s 的大作中提到】
: 不是 是直觉
|
|
|
d**s
发帖数: 4741 | 21 人脑无法理解人脑的工作机制
不要挣扎了
【在 S**********p 的大作中提到】
: 是神启，是摩西被晒晕了头看见荆棘里出现了不烫手的火。
:
:
: 不是 是直觉
:
|
v*******e
发帖数: 11604 | 22 你懂个屁，这也不可能，那也不可能，这么多断言，你证明了哪个了？没证明就断言不
可能，这叫啥，大放厥词？ |
S**********p
发帖数: 331 | 23 听说古代的先知吃几个蘑菇就可以参透世界的奥秘了
: 人脑无法理解人脑的工作机制
: 不要挣扎了
【在 d**s 的大作中提到】
: 人脑无法理解人脑的工作机制
: 不要挣扎了
|
h*********4
发帖数: 1 | 24 好事算了几个倍角余弦公式，可以看看能不能做n等分，圆的话把等号左边定位1就好
cos2θ = 2 cos²θ - 1
cos3θ = 4 cos³θ - 3 cosθ
cos4θ = 8 cos⁴θ - 8 cos²θ + 1
cos5θ = 16 cos⁵θ - 20 cos³θ + 5 cosθ
cos6θ = 32 cos⁶θ - 48 cos⁴θ + 18 cos²θ - 1
cos7θ = 64 cos⁷θ - 112 cos⁵θ + 56 cos³θ - 7 cosθ
cos8θ = 128 cos⁸θ - 256 cos⁶θ + 160 cos⁴θ - 32 cos&#
178;θ + 1
cos9θ = 256 cos⁹θ - 576 cos⁷θ + 432 cos⁵θ - 120 cos&#
179;θ + 9 cosθ
cos10θ = 512 cos¹⁰θ - 1280 cos⁸θ + 1120 cos⁶θ -
400 cos⁴θ + 50 cos²θ - 1 |
b*******8
发帖数: 37364 | 25 尺规这个问题，现有的AI算法，永远训练不出一般规律，彻底解决任意N的问题。不是
经没经过训练的问题。
力。
【在 S**********p 的大作中提到】
: 发明群论的那几个人脑也不会写中国诗。
: 所以这个例子只能证明未经训练的智能机器（有机的或者硅基的）干不了它未经训练的
: 事情。不能证明AI和人脑的水平差异。
:
:
: 至少没有人相信现在的AI能发展出演绎逻辑，群论。Hinton也不敢这么说。我哪
: 里说了
:
: 人脑不是在Trial Error？
:
: 至少人脑能解决很多无穷大的问题，这点对现在的AI就是高不止一个层次的能力。
:
|
b*******8
发帖数: 37364 | 26 是这个道理。但是这就有点像中国古代数学和欧洲近代数学的比较，中国古代数学经验
成分多，很多近似公式用的很好，较少理论严格证明，也能创造灿烂文明，但似乎有天
花板。就目前人类历史来看，不搞出较为抽象的数学，似乎不能进入现代文明。AI的训
练方式，类似俞敏洪从真题找解题诀窍，看似短期有效，可能长期就受困于天花板了。
当然对人还是有用的，但像某些人吹的硅基文明取代碳基文明，就扯淡了。
还有直线这些抽象概念的世界里，搞AI的用围棋赢人给大家制造一个错觉，好像在这种
领域里AI已经完全战胜人类，所以现实世界也是迟早的。我发这个帖子就是为了说明，
在抽象概念世界里，人脑也有AI不能达到的地方，而且是不同文明等级的代差。AI强于
人的地方是快慢的区别，而人强于AI的地方是有无的本质区别。
【在 d*****u 的大作中提到】
: 从实践角度来说，有些数学概念确实是多余的。
: 比如直线，射线，线段这些，都是为了体系完整。但AI不需要这些概念。
|
r********n
发帖数: 7441 | 27 AI目前只能解决好两类问题：函数逼近和数据关联
其他的都不行
【在 b*******8 的大作中提到】
: 群论里面已经把这个问题研究透了，那些N能哪些不能。取一个很大的N，可解的，人要
: 把过程画出来很累，但通过计算机辅助迭代，可以把整个过程列出来，这个应该算人能
: 解决。
: 深度学习不可能发展出群论，给一个足够大的可解的N，应该可以击败AI，让AI在宇宙
: 灭亡前都找不出解法来。这个可以算人胜过目前AI的地方吧？人只花了两千年时间就搞
: 清楚了。
: 也就是说，有规律可循，可扩展大小的问题，人可以通过演绎找到任意大尺寸的解法，
: 而AI深度学习则不可能解决无穷大的问题。
|
T*******x
发帖数: 8565 | 28 7等分圆能做吗？
【在 h*********4 的大作中提到】
: 好事算了几个倍角余弦公式，可以看看能不能做n等分，圆的话把等号左边定位1就好
: cos2θ = 2 cos²θ - 1
: cos3θ = 4 cos³θ - 3 cosθ
: cos4θ = 8 cos⁴θ - 8 cos²θ + 1
: cos5θ = 16 cos⁵θ - 20 cos³θ + 5 cosθ
: cos6θ = 32 cos⁶θ - 48 cos⁴θ + 18 cos²θ - 1
: cos7θ = 64 cos⁷θ - 112 cos⁵θ + 56 cos³θ - 7 cosθ
: cos8θ = 128 cos⁸θ - 256 cos⁶θ + 160 cos⁴θ - 32 cos&#
: 178;θ + 1
: cos9θ = 256 cos⁹θ - 576 cos⁷θ + 432 cos⁵θ - 120 cos&#
|
m***a
发帖数: 2262 | 29
自动证明是AI的早期分支，跟深度学习没关系，跟可计算理论和计算复杂性理论关系比
较密切
【在 b*******8 的大作中提到】
: 群论里面已经把这个问题研究透了，那些N能哪些不能。取一个很大的N，可解的，人要
: 把过程画出来很累，但通过计算机辅助迭代，可以把整个过程列出来，这个应该算人能
: 解决。
: 深度学习不可能发展出群论，给一个足够大的可解的N，应该可以击败AI，让AI在宇宙
: 灭亡前都找不出解法来。这个可以算人胜过目前AI的地方吧？人只花了两千年时间就搞
: 清楚了。
: 也就是说，有规律可循，可扩展大小的问题，人可以通过演绎找到任意大尺寸的解法，
: 而AI深度学习则不可能解决无穷大的问题。
|
b*******8
发帖数: 37364 | 30 不能 两百年前高斯已证明了能分的通解形式
★ 发自iPhone App: ChinaWeb 1.1.5
【在 T*******x 的大作中提到】
: 7等分圆能做吗？
|
|
|
b*******8
发帖数: 37364 | 31 问题是有些问题有迷惑性 在找到通解之前你无法知道是否有通解。比如围棋，也许过
一万年人就找到了通解 能自动生成任意尺寸棋盘的最优对局，而AI深度学习永远不能
企及。人算的慢，但善于总结规律，发现本质。也许现在的围棋就处在高斯以前的人拿
等分圆束手无策的状态，试想那时如果AI解决了若干具体N的等分问题，一定很震撼，
就像现在人觉得AI下棋深不可测。这里围棋只是举个例子，不一定是围棋。
★ 发自iPhone App: ChinaWeb 1.1.5
【在 m***a 的大作中提到】
:
: 自动证明是AI的早期分支，跟深度学习没关系，跟可计算理论和计算复杂性理论关系比
: 较密切
|
T*******x
发帖数: 8565 | 32 嗯，但我不知道结果。我知道17等分圆可以做。我记得三等分角不可以做，但是三等分
圆却很容易。
【在 b*******8 的大作中提到】
: 不能 两百年前高斯已证明了能分的通解形式
:
: ★ 发自iPhone App: ChinaWeb 1.1.5
|
h*********4
发帖数: 1 | 33 让左边cos7 heta等于1，然后可以用高斯那个公式判断，李永乐最近的视频讲了这个
好: cos2θ = 2 cos05θ - 1
05θ - 1
06θ - 7 cosθ
66θ - 32 cos
【在 T*******x 的大作中提到】
: 7等分圆能做吗？
|
T*U
发帖数: 22634 | 34 不用AI， 200年前高斯已经回答了你的问题。
https://www.youtube.com/watch?v=I2pf3gjz5QU
【在 b*******8 的大作中提到】
: 群论里面已经把这个问题研究透了，那些N能哪些不能。取一个很大的N，可解的，人要
: 把过程画出来很累，但通过计算机辅助迭代，可以把整个过程列出来，这个应该算人能
: 解决。
: 深度学习不可能发展出群论，给一个足够大的可解的N，应该可以击败AI，让AI在宇宙
: 灭亡前都找不出解法来。这个可以算人胜过目前AI的地方吧？人只花了两千年时间就搞
: 清楚了。
: 也就是说，有规律可循，可扩展大小的问题，人可以通过演绎找到任意大尺寸的解法，
: 而AI深度学习则不可能解决无穷大的问题。
|
T*******x
发帖数: 8565 | 35 看了李永乐的两个视频，17等分圆和三等分角问题，讲的不错。
这个
【在 h*********4 的大作中提到】
: 让左边cos7 heta等于1，然后可以用高斯那个公式判断，李永乐最近的视频讲了这个
:
: 好: cos2θ = 2 cos05θ - 1
: 05θ - 1
: 06θ - 7 cosθ
: 66θ - 32 cos
|
