Jesse Hoogland comments on Jesse Hoogland’s Shortform

[Jesse Hoogland]

Okay, great, then we just have to wait a year for AlphaProofZero to get a perfect score on the IMO.