沃尔夫勒姆基金会设立2万美元奖金，征集“S组合子”计算难题解答
沃尔夫勒姆基金会宣布启动“S组合子挑战赛”，并为首个成功提交完整证明解决方案的个人或团队提供20,000美元奖金。该挑战面向全球参与者，旨在解决计算理论中的一个核心难题。参赛作品必须为原创，且需通过评审委员会的严格审核。这一举措不仅是对数学...
标签索引
计算理论
这个标签下有 5 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
挑战计算极限：如何在64位内存储超越“葛立恒数”的巨大数值
普遍认为64位整数的极限是$2^{64}-1$，但最新研究表明，通过Lambda演算这一极简编程模型，我们可以在仅64位的代码空间内定义出远超“葛立恒数”的天文数值。文章详细对比了图灵机与Lambda演算在Busy Beaver游戏中的表现...
沃伦姆探讨P vs NP难题：从Ruliology视角看计算本质
Stephen Wolfram 发布新文章，尝试从“Ruliology”视角探讨著名的P vs NP问题及计算的本质困难。文章主张通过观察计算宇宙中的简单程序来理解复杂性。该讨论在Hacker News上引发了关于形式化验证的激烈辩论，焦点...
新数学框架重塑宇宙模拟假说辩论
圣塔菲研究所最新研究提出了一种数学框架，重新定义了关于宇宙模拟假说的辩论。该研究基于物理丘塔斯-图灵论题和克林的第二递归定理，证明如果宇宙动力学可计算且能实现通用计算，则宇宙可模拟自身，包括模拟计算机本身。这意味着可能存在两个完全相同的&#...
GPT真的理解人类语言吗？从乔姆斯基层级看AI的认知边界
本文深入探讨了GPT模型在乔姆斯基层级中的位置，揭示了其计算能力的根本性限制。作者通过严谨的数学分析指出，即使拥有无限上下文窗口，GPT也无法实现图灵完备性，因为其词汇量有限导致嵌入空间有界，使得模型在有限步骤内停止输出的概率为1。这种有限...