Google DeepMind and Cambridge AI agent cracks new rules for 11 Busy Beaver machines
Photo: Crypto Briefing
A Gemini-based system found and formally verified compact rules for 11 previously unanalyzed six-state Turing machines An AI agent built by Google DeepMind and University of Cambridge researchers has done something math competitions never ask for. It wandered into an unsolved corner of computer science and came back with new, verified results. The Gemini-based agentic system discovered compact mathematical acceleration rules for 11 previously unanalyzed six-state Turing machines . It then proved those rules formally, in a format any skeptic can check line by line.
Source: Crypto Briefing
