科学的发展很难预测

[Jack12345]

“数学界里 没解决的问题 多如牛毛，比如 证明 e 是 无理数。也不差一个 NP=P 了，”

尼玛不会吧，几百年前就证明了。

那记错了，有可能是 pi + e。反正 数学里 没有证明的问题 多如牛毛

[FoxMe]

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

吴算法呢？应该只是Buchberger's algorithm和Grobners Basis片段，或许计算复杂性会低一些。我没兴趣去看，因为有Buchberger's algorithm和Hilbert Nullstellensatz，还有Tarski定理，这问题在理论上已经没有意义，在算法上应该也没有超过Buchberger's algorithm。而且是因为官员操作而炒起来的，所以让人很难愿意花时间。
国内数理逻辑界有人私下表明了态度，但吴也去世，私下表态度的也去世，就算了吧。不说了。
Tarski的算法计算复杂度是双指数的。我估计Buchberger's algorithm也是。Tarski是逻辑的方法，Buchberger's algorithm是用代数几何的方法或者代数方法得出来的，运气好啊，唉。

[forecasting]

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

四元玉鉴。Knuth也在TAO里说过。往大处说，就是Buchburger's algorithm或者Hilbert Nullstellenstullsatz的思想，这样就联系上代数几何了。所以代数几何尤其算术几何里很多问题或其证明是现成的算法，Curry-Howard定理早就提示了证明（严格说，形式化的证明就是一个程序，这就是princeton高研院那个项目的主要思想之一）和算法等价，https://en.wikipedia.org/wiki/Curry%E2% ... espondence。
另外一个思路就是，Diophantine equation 无算法解（希尔伯特第十问题），研究其解，即算术代数几何，就是在 Matiyasevich's theorem or the MRDP theorem 定理之下用代数几何方法研究方程的解集。https://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem。
那几个无知的家伙在撒泼打滚，不仅没学问，也没人品，我不屑于跟他们啰嗦。谁有兴趣，可以教给他们一些基本知识，他们学的不是computer science and technology，是信息工程，没基本的知识，丢死人了。谁敢亮出是哪个老师的学生，小心自己老师知道了真实水平开了他，那可就给华人丢脸了。 我啥时候也民族主义了？

[forecasting]

数学不是science，数学也不是art, period

Computer is a tool, so it falls under engineering in human’s definition. 你不一定在工学院拿过CS的degree，但肯定不是在数学系或者艺术系拿的

你是一个新人，回答你一句：计算机专业一开始不是在数学系就是在电子工程或者物理专业。芝加哥大学计算机系一直在数学系，现在才弄进一些做工程的。你看做AM（就是IP证明）的，做自然证明（natural proof）的，还有做可计算理论 computability的，就是做递归论的，都在哪个系。Anil Nerode还在Cornell计算机系。

[princeton]

确实， Gil Strang 的最后一节课，第一件事就是说，高斯消元法应叫中国人消元法

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

[verdelite]

又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。

段路明？现在在清华大学。
你说的又一个中科院量子院士是谁？

[verdelite]

是他，不是刚当选院士嘛

人家是清华大学的，不是中科院的。

[Caravel]

又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。

段路明是做理论的啊

[Oldsea]

自然界核苷酸只有4种，氨基酸20个
构成的生命种类是天文数字
人在自然面前就是个婴儿

[forecasting]

错：AGI：成功（有人这样的意识、会做科研）。
不确定：聚变发电：还是不成。
不全对：量子纠缠、量子通信、量子计算：彻底证伪。量子纠缠已经证明，你就算了，不懂就别说了。量子通信、量子计算就是瞎搞，纠错速度不可能超过消相干速度。

今年 的发展和我的预判，对比一下。

这个帖子下显出了这个版面上各个id的素养

[Pegasi]

下一次真得靠聚变发电了

现代农业让人类大吃饱不成问题，才分化出大量依靠纯脑力劳动的工作，但绝大部分人还是得靠出卖脑力体力糊口

能源无限才能让更多的人生下来就衣食无忧，释放创造力

下面5年：

AGI：成功（有人这样的意识、会做科研）。
聚变发电：还是不成。
量子纠缠、量子通信、量子计算：彻底证伪。

[forecasting]

Yann LeCun也出来骂量子计算的那些人只会炒作自己，就差说出量子计算机不可能实现了。

[Caravel]

Yann LeCun也出来骂量子计算的那些人只会炒作自己，就差说出量子计算机不可能实现了。

Lecun一个CS的懂个屁量子力学

[forecasting]

https://jandan.net/p/115172#/

[forecasting]

https://www.nature.com/articles/474024a

量子失谐（quantum discord）

觉得量子纠缠是量子计算的必要条件，而量子纠缠不可能长期大规模实现，因此基于量子纠缠的通信和计算就是说说玩玩而已。

[hci]

互联网是计划中的，《As we may think》，写于1945年，是美帝CS发展的蓝图，当时已经规划了互联网。

早期试验品，the mother of all demos，在1960年代早期就出现了。

倒退10年人们很难想到在几个尖端方向上里最先接近实现的是强AI。
倒退20年人们还在追求最小的手机。
倒退40年人们想不到科技革命是从互联网开始的。

[hci]

ChatGPT出来都一年多了，还认为AGI会很快实现的，也只有不太用的人。

业界都在调整心态了。

下面5年：

AGI：成功（有人这样的意识、会做科研）。
聚变发电：还是不成。
量子纠缠、量子通信、量子计算：彻底证伪。

[hci]

CS，司马贺用的词，叫做人工的科学，the science of the artificial.

所以CS不属于自然科学，但也不是艺术，更不能算是工程，如果工程是自然科学的应用的话。

对啊，computer 本来就是个 engineering, 那些搞 computer 的 自己往自己脸上 贴金，强行往 science 这边 碰瓷

大自然的 都是 黑盒的，要搞明白 不容易。computer 一上来 就是个 白盒 透明盒子，这样 一层层 积木 搭起来 就容易多了，就像人 一层层 把汽车 搭起来一样

[hci]

CS出自数学，是符合史实的。老一辈的计算机科学家，大多是学数学出身的，他们发明了各种计算机技术，却一辈子没有写过一行程序，这些事实，在现在的一些小朋友看来，是很让人吃惊的。

但是，他们发明的东西，都是挂在低树上的果子，都是些光靠想，就能想到的东西。

现在，CS已经发展成了一门实验科学，不能光靠想了。

[CanGuanGong]

Li Feifei就是一个科技界的花瓶，听她的，还不如去听湾区大街上吸足大麻的瘾君子

虽然如此，但毕竟早期还是折腾出了那个图像识别的，具体名字忘了，似乎带个net字样。科技含量虽不高，点子本身还是不错，闪闪发光