You lost the bet. I've been following his solar gravitational lens project since the 'Direct Multipixel Imaging and Spectroscopy of an Exoplanet with a Solar Gravity Lens Mission' [0] paper came out.

What you were betting? You farm, hopefully?

[0] https://arxiv.org/abs/2002.11871