新未名空间

Jack12345 写了： 2023年 11月 19日 19:33 对啊，computer 本来就是个 engineering, 那些搞 computer 的 自己往自己脸上 贴金，强行往 science 这边 碰瓷

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

forecasting 写了： 2023年 11月 20日 02:36 你要是认为数学是science，那么计算机至少一大半是science，如果认为数学是艺术，那么计算机一大半也是艺术。你学的计算机是国内教出来的，所以只能算工程。

Jack12345 写了： 2023年 11月 20日 13:05 你看看，搞 computer 的 又来碰瓷 数学了，真是 不知道 说什么好。

数学 已经发展了 2千多年了，人类 最聪明的 前辈们 前赴后继 一代代研究，才发展到了今天。还要 继续发展下去

computer 何德何能 和 数学比啊？也就和 汽车 可以 比一比，当然多了个 软件层，变化更多端 而已

verdelite 写了： 2023年 11月 20日 13:20 Computer 和数学真差不多，都是在人为构建的体系里寻找规律。

搞computer的人也应该称为数学家 。

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

Caravel 写了： 2023年 11月 20日 13:56 量子通信密钥分发早就有实用化产品了，量子计算原理没有问题，已经在多个平台实现100个左右的量子比特，唯一的问题是能不能继续scale up.

TheMatrix 写了： 2023年 11月 20日 14:35 他说的是“纠错速度不可能超过消相干速度”，我觉得这很可能是对的。也就是你说的scale up。很可能不能scale up。

nohup 写了： 2023年 11月 20日 13:16 吴的工作是给出算法，扯什么Tarski，Grobners basis或者希尔伯特零点定理啊？不管白猫黑猫，抓住老鼠就是好猫。写个程序，给一道平面几何题，如果断言是对的，请生成证明，广大人民群众不在乎过程和方法是不是有趣无趣。那位老兄说让机器证明一道平面几何题来说明AI的能力，可是在30年前，基于吴算法的系统就能证明几乎所有的初等几何问题了啊。据我所知，吴之后，20多年过去了，迄今为止，还没有出现第二种系统证明几何问题的算法。老兄说吴的工作很简单，老兄不妨下场练练，也可以光宗耀祖一哈子。为你加油！！！

FoxMe 写了： 2023年 11月 20日 16:36 吴文俊算法说明了AI其实并不神秘，有些时候就是简单的算法。比如最近很火的diffusion model,其实就是一个随机微分方程。

如果用数学揭穿了AI，它就很简单。

TheMatrix 写了： 2023年 11月 20日 14:35 他说的是“纠错速度不可能超过消相干速度”，我觉得这很可能是对的。也就是你说的scale up。很可能不能scale up。

FoxMe 写了： 2023年 11月 20日 17:45 我不大了解，纠错码电路自己的错怎么纠正？

Jack12345 写了： 2023年 11月 20日 13:05 你看看，搞 computer 的 又来碰瓷 数学了，真是 不知道 说什么好。

数学 已经发展了 2千多年了，人类 最聪明的 前辈们 前赴后继 一代代研究，才发展到了今天。还要 继续发展下去

computer 何德何能 和 数学比啊？也就和 汽车 可以 比一比，当然多了个 软件层，变化更多端 而已

nohup 写了： 2023年 11月 20日 13:16 吴的工作是给出算法，扯什么Tarski，Grobners basis或者希尔伯特零点定理啊？不管白猫黑猫，抓住老鼠就是好猫。写个程序，给一道平面几何题，如果断言是对的，请生成证明，广大人民群众不在乎过程和方法是不是有趣无趣。那位老兄说让机器证明一道平面几何题来说明AI的能力，可是在30年前，基于吴算法的系统就能证明几乎所有的初等几何问题了啊。据我所知，吴之后，20多年过去了，迄今为止，还没有出现第二种系统证明几何问题的算法。老兄说吴的工作很简单，老兄不妨下场练练，也可以光宗耀祖一哈子。为你加油！！！

Caravel 写了： 2023年 11月 20日 13:56 量子通信密钥分发早就有实用化产品了，量子计算原理没有问题，已经在多个平台实现100个左右的量子比特，唯一的问题是能不能继续scale up.

forecasting 写了： 2023年 11月 21日 04:28 算了吧，你不懂密码学。BB84协议是画蛇添足，没有意思。说的是纯量子通信和计算，不可能成功。得懂一点量子力学和密码学，或者至少计算复杂性理论。往后不要再回复我的贴子，我懒得跟你啰嗦。

FoxMe 写了： 2023年 11月 20日 17:45 我不大了解，纠错码电路自己的错怎么纠正？