视频目录 / 数学导览与专题

热度排名 #2156

业余研究者怎样找出第五个「忙海狸」？

Amateurs Just Solved a 30-Year-Old Math Problem

先区分五状态图灵机中会停机的程序和一直运行的程序。除了找到运行很久的例子，还要排除其他能停得更晚的候选。

Up and Atom · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-08-12 · 帖子分数 1