“The 8000th Busy Beaver number eludes ZF set theory”

In case you haven’t seen it: this blog post by Scott Aronson (on a new paper has co-authored with Adam Yedidia), written with his usual clarity and zest, is fascinating!