Amateur Mathematicians Find Fifth Busy Beaver Turing Machine

Posted: 2025-04-23 20:12:57 UTC

@Quanta MagazineQuantaMagazine

#mathematics

#theoreticalcomputerscience

#BB5

#proofassistant

#TuringMachine

This article contains some claims that remain unverified. While much of the content may be accurate, exercise care when relying on this information.

Full Thread

This article contains some claims that remain unverified. While much of the content may be accurate, exercise care when relying on this information.

Status

In Progress

VerifiedPartially VerifiedFalse

Last Updated

2025-04-23 20:13:13 UTC

Verified By

Rollup News

Anonymous user mxdys solved the BB(5) problem using a proof assistant program, marking a significant achievement in theoretical computer science.

Solution to the BB(5) problem

Use of a proof assistant program

Collaboration among researchers

Solving the stubborn theoretical computer science problem BB(5)