Curious to hear your thoughts @paulfchristiano, and whether you have updated based on the latest IMO progress.
Curious to hear your thoughts @paulfchristiano, and whether you have updated based on the latest IMO progress.