The market is meant to reflect the resolution criteria of /Austin/will-an-ai-get-gold-on-any-internat . I will defer to the creator of that market as well as the people who originally made the bet. Barring no further information, here is how I interpret the resolution criteria as they stand at market creation:

• The AI code must be finalized before the release of the IMO it gets gold on.

• The AI can be either fully NLP based or fully formal methods based or in between.

• The AI getting gold must happen before the end of the year in question.

Only options present at market creation are valid.