分页: 2 / 4

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:34
TheMatrix2
弃婴千枝 写了: 2022年 11月 15日 22:31 你妈

做AI的智商低了三大圈,更是根本不知道方向在哪里
不能等着智商低三圈的人给你方向啊 - 自己找。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:37
hci
我这个做AI的给你们提了数学问题,你们不感兴趣,为什么?
TheMatrix2 写了: 2022年 11月 15日 22:33 AI做出来了吗?没人不让聪明的进来啊,不还是没做出来?说明了啥?说明难。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:39
TheMatrix2
弃婴千枝 写了: 2022年 11月 15日 22:31 你妈

做AI的智商低了三大圈,更是根本不知道方向在哪里
你看 - 人家又搞出一个方向来:

图片

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:40
TheMatrix2
hci 写了: 2022年 11月 15日 22:37 我这个做AI的给你们提了数学问题,你们不感兴趣,为什么?
可能觉得不promising。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:40
hci
除了代数结构上的概率论,我再说一个问题,也对AI很有用,图上的拓撲,也没什么人做。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:46
hci
不是,是因为中国教出来的,大都是小鎮做题家,等着别人出题,就没想过自己立山头。

自己立山头,就是要打算做民科。

绿光不错,有这打算,只是他学什么太慢了。
TheMatrix2 写了: 2022年 11月 15日 22:40 可能觉得不promising。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:46
TheMatrix2
hci 写了: 2022年 11月 15日 22:40 除了代数结构上的概率论,我再说一个问题,也对AI很有用,图上的拓撲,也没什么人做。
你说的问题有一个特点 - 就是都是几大领域的交叉。这是好数学的特征。但是你说了不能完全motivate别人。别人的路也要自己走 - 自己走到你说的问题上,就自己motivate了。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:47
TheMatrix2
hci 写了: 2022年 11月 15日 22:46 不是,是因为中国教出来的,大都是小鎮做题家,等着别人出题,就没想过自己立山头。

自己立山头,就是要打算做民科。
不全是。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:53
verdelite
hci 写了: 2022年 11月 15日 22:46 不是,是因为中国教出来的,大都是小鎮做题家,等着别人出题,就没想过自己立山头。

自己立山头,就是要打算做民科。

绿光不错,有这打算,只是他学什么太慢了。
我不怕慢。
你别忘了还有矩阵。还有你自己。update:我看Carnival也差不多

做题家里面,代表人物是陶尔斯泰,低一级的有韦东奕,再低一级的有弃婴。
弃婴说因为物理不发展了,数学找不到方向。LOL

弃婴要改邪归正很容易,搞明白世人皆傻,就行了。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 22:57
TheMatrix2
verdelite 写了: 2022年 11月 15日 22:53 我不怕慢。
你别忘了还有矩阵。还有你自己。

做题家里面,代表人物是陶尔斯泰,低一级的有韦东奕,再低一级的有弃婴。
弃婴说因为物理不发展了,数学找不到方向。LOL

弃婴要改邪归正很容易,搞明白世人皆傻,就行了。
嗯,数学是一切的语言,怎么能物理不发展了就找不到方向了呢?

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:06
lwangls
陈好像没证明大猜想,Gauss-Bonnet-Chern公式陈是提出的一个新的证明方法

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:08
shot
TheMatrix2 写了: 2022年 11月 15日 22:20 嗯,这个说的对。

shot说的有一定道理,但是比较片面,因为他不了解数学,只能泛泛而谈。

其实这个问题,归根到底就是问 - 纯数学有没有意义。
我已经做出了我自己的数学。只是不愿跟世界分享而已。
我曾经花了大量时间研究量子力学和相对论的数学表达技巧。
然后我发现了两者之间高度的相似性。
这两个理论,本质上都是结合看似不相关甚至矛盾的概念的。
比如量子力学结合波动性和粒子性,相对论结合时间和空间。
我将他们结合不同概念的数学技巧进行推广,就变成了我自己的数学。
我的数学可以很巧妙地结合矛盾概念,推导出奇艺而又合理的新结论。
将我的数学,用在人工智能的实践上,立刻就会有新奇的结果。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:10
TheMatrix2
shot 写了: 2022年 11月 15日 23:08 我已经做出了我自己的数学。只是不愿跟世界分享而已。
我曾经花了大量时间研究量子力学和相对论的数学表达技巧。
然后我发现了两者之间高度的相似性。
这两个理论,本质上都是结合看似不相关甚至矛盾的概念的。
比如量子力学结合波动性和粒子性,相对论结合时间和空间。
我将他们结合不同概念的数学技巧进行推广,就变成了我自己的数学。
我的数学可以很巧妙地结合矛盾概念,推导出奇艺而又合理的新结论。
将我的数学,用在人工智能的实践上,立刻就会有新奇的结果。
听着挺民科的 - 还不是verdelite意义上的民科。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:17
shot
TheMatrix2 写了: 2022年 11月 15日 23:10 听着挺民科的 - 还不是verdelite意义上的民科。
是你的数学视野太狭窄。
我的出身,是数理哲学,是罗素、维特根斯坦,哥德尔这一条线的。
将数学、逻辑、概念和世界整合在一起。
人类的本能,是通过概念来思考。真正的人工智能,也是如此。
要实现真正的人工智能,就要求有一套可以对概念进行运算和推导的数学。
跟你说了,你可能都不知道我在说啥。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:21
gtm55
c

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:25
Caravel
hci 写了: 2022年 11月 15日 22:46 不是,是因为中国教出来的,大都是小鎮做题家,等着别人出题,就没想过自己立山头。

自己立山头,就是要打算做民科。

绿光不错,有这打算,只是他学什么太慢了。
中国也有不少,华罗庚就是自己的山头。物理学里面有个好柏林,做的东西也是稀奇古怪

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:27
hci
有点意思。这条线的话,感觉你应该研究点范疇论什么的。

你研究相对论和量子力学好像与这条线距离有点远。什么搭上的?
shot 写了: 2022年 11月 15日 23:17 是你的数学视野太狭窄。
我的出身,是数理哲学,是罗素、维特根斯坦,哥德尔这一条线的。
将数学、逻辑、概念和世界整合在一起。
人类的本能,是通过概念来思考。真正的人工智能,也是如此。
要实现真正的人工智能,就要求有一套可以对概念进行运算和推导的数学。
跟你说了,你可能都不知道我在说啥。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:28
Caravel
hci 写了: 2022年 11月 15日 22:40 除了代数结构上的概率论,我再说一个问题,也对AI很有用,图上的拓撲,也没什么人做。
你指一个方向别人也不会就去做,除非你能替一个核心的概念出来,有时候就是猜想的形式,一个领域,你可以从定义开始,但是定义完了就要有定理出来,否则就没有意义

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:31
hci
我上面提的两个方向,是我感觉到的"可以对概念进行运算和推导的数学"。你的大致长啥样?
shot 写了: 2022年 11月 15日 23:17 是你的数学视野太狭窄。
我的出身,是数理哲学,是罗素、维特根斯坦,哥德尔这一条线的。
将数学、逻辑、概念和世界整合在一起。
人类的本能,是通过概念来思考。真正的人工智能,也是如此。
要实现真正的人工智能,就要求有一套可以对概念进行运算和推导的数学。
跟你说了,你可能都不知道我在说啥。

Re: 证明猜想是数学的旁门左道

发表于 : 2022年 11月 15日 23:36
verdelite
shot 写了: 2022年 11月 15日 23:17 是你的数学视野太狭窄。
我的出身,是数理哲学,是罗素、维特根斯坦,哥德尔这一条线的。
将数学、逻辑、概念和世界整合在一起。
人类的本能,是通过概念来思考。真正的人工智能,也是如此。
要实现真正的人工智能,就要求有一套可以对概念进行运算和推导的数学。
跟你说了,你可能都不知道我在说啥。
这句话我捡出来赞一下:“人类的本能,是通过概念来思考。真正的人工智能,也是如此。”

这个观点我2020年底写下来了。可见费一下力气,写下来发表,还是重要的,可以claim priority。

不过我没有想到要用数学去表示和进行推演。而且我忙别的,最近也不会无探索这个路子。