This market will resolve to determine if we develop an artificial general intelligence (AGI) before desktop search becomes good.

I'll use common sense definitions for “Good Desktop Search” and AGI. In the case they happen pretty much at the same time, the market will be decided according to the following rules:

1. If AGI was necessary to develop good desktop search, the market will resolve to yes.

2. If good desktop search becomes available on Mac OS or Windows and does not use AGI as a component or substantial subsystem, the market will resolve to no.

The end date is set for January 1st, 2040. as a daily user of AI products and terrible desktop search I'll keep my eye on this one personally