At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier t.co/ZLN6COAfpJ ✍️ @dsantosmarco @vivek_veeriah @TZahavy et al. via @arxiv @GoogleDeepMind @Cambridge_Uni 👉The authors introduce a Gemini-based agentic pipeline designed to pivot AI from solving human-posed mathematical problems toward open-ended, autonomous discovery. 👉 Operating on the uncomputable frontier of the Busy Beaver problem, the framework integrates pattern recognition, automated conjecturing and informal reasoning to discover rules for eleven previously unresolved BB(6) Turing machines. 💡 This system escapes the typical AI trap of unreliability, establishing a closed-loop paradigm where models aren't just hallucinating answers but are actively acting as self-correcting mathematical explorers. @Corix_JC @TheAIObserverX @maponi @JagersbergKnut @ahier @ChuckDBrooks @Shi4Tech @CEO_AISOMA @sallyeaves @ThEiLe0 @dinisguarda @TarakRindani @FrRonconii @Ym78200 @Nicochan33 @Khulood_Almani @TysonLester @SusanHayes_ @EstelaMandela @JoannMoretti @sulefati7 @FernandaKellner @pchamard @NeiraOsci @darioandriani @ALouiseLavalett @Fabriziobustama @amalmerzouk @arlenenewbigg @drsharwood @mikeflache @RLDI_Lamy @smaksked @Eli_Krumova @PVynckier @chidambara09 @sminaev2015 @NathaliaLeHen @MHcommunicate @DanielleLargier

- 0 réponses
- 15 partages
- 18 j'aime
- 486 vues


