Path: csiph.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Sylvia Else <sylvia@email.invalid>
Newsgroups: sci.physics,sci.physics.relativity,comp.theory
Subject: Re: Could AlphaEvolve find the sixth busy beaver ?
Date: Thu, 4 Dec 2025 12:59:02 +0800
Lines: 12
Message-ID: <mpciomFef6U1@mid.individual.net>
References: <10ghds1$tg19$2@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net +atW0f6HgoA7lEhEVb7ezgPpfCAIa0dyPcNulkMkG4o8YA34Lq
Cancel-Lock: sha1:Ell7gKXObVFXB+/PGL5yZOoZrO0= sha256:8XaMIBDzC1A4mDPR9YKSbT23fGfJ1gPsrbnvmEdN8xI=
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.15.1
Content-Language: en-US
In-Reply-To: <10ghds1$tg19$2@solani.org>
Xref: csiph.com sci.physics:894645 sci.physics.relativity:667680 comp.theory:137186

On 30-Nov-25 8:38 pm, Mild Shock wrote:
> Hi,

> They claim not having used much AI. But could for
> example AlphaEvolve do it somehow nevertheless, more or
> less autonomously, and find the sixth busy beaver?

I think the most that AI could do would be to make a reasonable guess 
about what the next Busy Beaver is. Getting a proof is something else.

Sylvia.