corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087af-3f69-7318-b948-6d31c23d3d4e

AI Reproduction of Lin’s Busy Beaver Proof

nickdrozd.github.io · published 16 January 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at nickdrozd.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
9
Words captured
11,012

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Running out of places to move the goalposts to Read at the source ↗
nickdrozd.github.io
https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems
github.com
https://nickdrozd.github.io/2020/12/15/lin-rado-proof.html
nickdrozd.github.io
https://arxiv.org/abs/2509.12337v1
arxiv.org
https://nickdrozd.github.io/2022/01/14/bradys-algorithm.html
nickdrozd.github.io
https://nickdrozd.github.io/2021/02/24/lin-recurrence-and-lins-algorithm.html
nickdrozd.github.io
https://etd.ohiolink.edu/acprod/odb_etd/ws/send_file/send?accession=osu1486554418657614&disposition=inline
etd.ohiolink.edu
https://nickdrozd.github.io/2021/12/08/busy-beaver-hardware.html
nickdrozd.github.io
https://arxiv.org/pdf/2509.12337
arxiv.org