[est31]

In other news, there's recently been a mechanized proof for one of the ZFC independent problems: https://flypitch.github.io/papers/

https://news.ycombinator.com/item?id=21823618