AlphaTensor

[Konkhra]

Hello! Will the program AlphaTensor (https://www.deepmind.com/blog/discovering-novel-algorithms-with-alphatensor) be useful in finding BB?

[Justin Kee]

That is a good question. I would venture that no, they won't, because by their very nature halting problems are undecidable, e.g. no algorithm can determine whether or not a Turing Machine with a given input will halt or not. 

[Shawn Ligocki]

Long ago when I started looking for Busy Beavers, my Dad and I tried using Simulated Annealing:

https://www.sligocki.com//2022/05/14/adjacent-tms.html

But in the end, it wasn't clear if there was enough correlation between adjacent TMs for an optimization algorithm to have hope. I'd expect a similar result from machine learning approaches. Which is to say, it's not clear that they would work, but they might :)

On Wed, Nov 23, 2022, 23:38 Konkhra <konkhra...@gmail.com> wrote:

Hello! Will the program AlphaTensor (https://www.deepmind.com/blog/discovering-novel-algorithms-with-alphatensor) be useful in finding BB?

--
You received this message because you are subscribed to the Google Groups "Busy Beaver Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to busy-beaver-dis...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/busy-beaver-discuss/1b93e733-1b04-4231-81ff-298251e4ef33n%40googlegroups.com.