justreadthis.ai
ArchivePeopleAboutSubscribe
justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

© 2026 justreadthis.ai

AboutArchivePrivacyTerms
← Back to People
JK
Researcher

Jeffrey Ketchersid

Researcher

Ketchersid used Claude Code agents to show that BusyBeaver(10) exceeds Graham's number and that BB(335) is independent of ZFC.

2
Mentions
1
Articles
1
Outlets

Companies Covered

Appears Alongside

Scott AlexanderOther
2 shared articles
Scott AaronsonResearcher
2 shared articles
Timothy GowersResearcher
2 shared articles
Josh AlmanResearcher
2 shared articles
Edward WittenResearcher
2 shared articles
Dana MoshkovitzResearcher
2 shared articles
Kunal MarwahaResearcher
2 shared articles
Dakshita KhuranaResearcher
2 shared articles
Virginia WilliamsResearcher
2 shared articles
Adam YedidiaResearcher
2 shared articles
Greg KuperbergResearcher
2 shared articles
Andrew WadeResearcher
2 shared articles
Omer ReingoldResearcher
2 shared articles

Articles

Most recent first

Mentioned In

Referenced in coverage

The Mathocalypse
ScottaaronsonmixedOct 8, 2026

“Ketchersid used Claude Code agents to show that BusyBeaver(10) exceeds Graham's number and that BB(335) is independent of ZFC.”