At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier.

arXiv:2610.22603v2 Announce Type: replace Abstract: Recent breakthroughs in AI for mathematics---ranging from Olympiad medal performances to resolving long-standing open conjectures---have rapidly expanded what automated systems can achieve. Yet these successe