He’s clearly not completely discounting that there’s progress, but overall it doesn’t feel like he’s “updating all the way”:
This is a recent post about the deepmind math olympiad results: https://mathstodon.xyz/@tao/112850716240504978
“1. This is great work, shifting once again our expectations of which benchmark challenges are within reach of either #AI-assisted or fully autonomous methods”
He’s clearly not completely discounting that there’s progress, but overall it doesn’t feel like he’s “updating all the way”:
This is a recent post about the deepmind math olympiad results: https://mathstodon.xyz/@tao/112850716240504978
“1. This is great work, shifting once again our expectations of which benchmark challenges are within reach of either #AI-assisted or fully autonomous methods”