计算复杂度分享兰斯·福诺Lance Fortnow和比尔·加萨尔Bill Gasarch分享计算复杂度以及数学和计算机科学中其他有趣内容。2026 年 4 月 29 日观点最喜欢的关于网络的一句话来自吉姆·库罗斯Jim Kurose“互联网之所以运行得如此出色是因为它不必强求。”互联网协议栈的 IP 层及更低层并不保证数据一定能送达完全的传输失败也符合协议要求这使得协议更简单、更强大无需为保证成功增加额外复杂性。TCP 基本上是在 IP 通信失败时重新启动通信来实现数据传输的还能向更高层报告传输失败。同样的观点也适用于现代人工智能“机器学习之所以效果出色是因为它不必强求”。神经网络使用 softmax 函数确定输出概率从不完全排除任何一种可能性总会给每种可能性分配至少一个极小的概率。在问题复杂度极高时神经网络会给出几种具有显著概率的可能性就像在相关文章中描述的机器学习模型会生成一个均匀分布来捕捉伪随机生成器的输出。我们允许模型犯错观察分布情况而不强硬要求模型给出特定答案。当机器学习模型面对过于复杂、无法直接求解的情况时概率性猜测也能得出正确结果达到最佳性能因为允许犯错让它们有更大灵活性去更频繁地解决复杂问题。评论与回复匿名用户于 2026 年 4 月 29 日上午 11:23 询问对可解释人工智能XAI的看法兰斯·福诺于同日下午 12:28 回复认为在大多数情况下可解释性带来的能力损失并不值得这会是未来一篇文章的好主题。匿名用户于 2026 年 4 月 29 日下午 3:41 表示目前人工智能的状态像早期的互联网还不是安全可靠的系统过去 30 年人们投入大量工作和资金才让互联网系统变得可靠和安全成本也需大幅降低未来十年一些问题可能会得到解决但目前未达理想状态且像互联网泡沫时期一样很多投资者会赔钱大公司如思科Cisco也不例外。匿名用户于 2026 年 4 月 29 日下午 3:55 指出构建可能输出的概率树成本高验证输出成本也高最终要归结为几个固定结果用户得到的不是概率输出而是从分布中随机抽取或通过启发式方法得到的样本。探索的错误路径数量是衡量智能的重要指标与解决问题所需计算量有关目前人们推理时需动用大型数据中心全部算力解决优秀学生在国际数学奥林匹克竞赛IMO中就能解决的数学问题虽然已取得很大进展未来值得期待但仍处于人工智能发展的早期阶段。匿名用户于 2026 年 5 月 1 日下午 2:17 认为 P 与 NP 问题似乎与神经网络的能力没有任何关系兰斯·福诺于同日下午 4:09 表示完全不同意这种观点并给出查看原因的链接。书籍、动态与链接可通过亚马逊链接购买相关书籍并赚取佣金。还有 Mastodon 动态。博客链接包括比尔的主页、兰斯的主页、最喜欢的定理等众多链接。热门文章有“因为不必强求”“托尼·霍尔1934 - 2026”等。复杂度相关链接有复杂度会议、ACM 算法与计算理论特别兴趣小组SIGACT等。博客存档有 2026 年相关内容。思考提问人工智能未来究竟会如何发展能否像互联网一样逐渐变得安全可靠呢