Most useful proof-of-work yet... However, it is somewhat hard to mathematically define all criteria used to recognize *useful* theorem. There may be many prop

Most useful proof-of-work yet... However, it is somewhat hard to mathematically define all criteria used to recognize *useful* theorem. There may be many propositions that are true, but cause no excitement among mathematicians.