Wolfram ARC Prize 演讲：计算不可约性保证发现永无止境

Stephen Wolfram 在 ARC Prize 会议上提出，计算不可约系统包含无穷多个“可约化口袋”，因此发现不会终结。演讲以 rule 30、元胞自动机和布尔代数说明高层描述的价值，并指出机器学习与演化都通过组合不可约计算块发现新结果。