新未名空间

wdong 写了： 2025年 2月 25日 22:03 我自己绕了。假设计算目标是x。这时候并不知道x是什么，所以没法用有理数逼近。
这些理论很多年了，确实难以challenge。

楼上说的举不出例子我觉得符合常理。我感觉就这么假设，做工程做到死也不会出问题。

因为你做任何工程都超不出这些定理，肯定不会出问题。但是Hinton啊什么Altman啊还有什么李飞飞就出笑话了，比如说什么AGI，什么达到了人类智能。一解释就是大话，假话，觉得真丢人。不仅丢人，还会觉得已经实现了AGI什么human intelligence，就会成为AI研究的绊脚石，甚至弄出什么AI伦理之内的笑话。

Caravel 写了： 2025年 2月 25日 21:57 感觉是数学家在偷换概念，你们举不出一个真正的不可计算实数的例子。

不是举不出例子，而是举出例子所付出的代价太大了，简单一说，做了论证，有不可数无限个，你们又觉得不存在。说过了，物理上的强关联系统/体系有意思，多留意，也可以多讨论。这些就好好用功学一下就足够了。

对了，Fileds奖得主Kontsevich也在这些问题上闹笑话。

forecasting 写了： 2025年 3月 9日 08:51 因为你做任何工程都超不出这些定理，肯定不会出问题。但是Hinton啊什么Altman啊还有什么李飞飞就出笑话了，比如说什么AGI，什么达到了人类智能。一解释就是大话，假话，觉得真丢人。不仅丢人，还会觉得已经实现了AGI什么human intelligence，就会成为AI研究的绊脚石，甚至弄出什么AI伦理之内的笑话。



不是举不出例子，而是举出例子所付出的代价太大了，简单一说，做了论证，有不可数无限个，你们又觉得不存在。说过了，物理上的强关联系统/体系有意思，多留意，也可以多讨论。这些就好好用功学一下就足够了。

对了，Fileds奖得主Kontsevich也在这些问题上闹笑话。

In math and computer science, researchers have long understood that some questions are fundamentally unanswerable. Now physicists are exploring how even ordinary physical systems put hard limits on what we can predict, even in principle.


https://www.quantamagazine.org/next-lev ... -20250307/

这个大问题之下有一部分涉及到强关联体系和可计算问题。