If we don't add more criteria, then this will be resolved either by Richard Ngo making a public statement or community concensus. If we add more criteria, this will resolve according to those criteria.

Inspired by tweet thread (note I've put them all as "Neural Nets will" so that they are all framed the same):

https://twitter.com/RichardMCNgo/status/1640568776495353860?s=20

Neural Nets will generate more scientific breakthroughs, including novel theorems by the end of 2025

 → Neural Nets will generate more scientific breakthroughs than humans by the end of 2025, including novel theorems