[AI]《At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier》M D Santos, V Veeriah, A Havrilla, A Bol… [Google DeepMind] (2026)

在数学AI中，机器自主提问是一个悬而未决的难题。过去的方法受困于解答预设考题，本质原因是难以从底层执行流抽象代数结构。

本文的核心洞见是：把底层读写轨迹重新看作动力系统。由此，让AI观察磁带猜想高阶规则并自主写码验证这一关键操作使问题得以解开。

这项工作真正留下的遗产是十一个被降维为代数定理的图灵机。它为后来者打开的新门是从数据流逆向提炼规律，但尚未跨过的门槛是寻获已知映射外的数学类。

arxiv.org/abs/2610.22603 #机器学习# #人工智能# #论文# #AI创造营#