SpaceChem is a famously difficult puzzle game, but it has a small, discrete state space. I think it might be possible to generate solutions to research puzzles using a SAT solver. If that doesn't work, I might try deep RL.

This market resolves YES if I solve 5 puzzles below. It resolves NO if I solve none. If I solve X/5 puzzles, it resolves PROB 20*X%.

By "solve", I mean that the AI generates a working solution. I can give it any heuristics that are reasonably generalizable, and also specify desired intermediate states or conditions by hand, but the AI must do most of the cognitive work. The last three puzzles were described as particularly hard to solve at all by a SpaceChem expert, and are far beyond my skill level, so those should be reasonably objective. If someone else writes the AI first, I have to replicate their results.

Puzzles

• "It Takes Three": easy puzle from world 3 level 2

• "Special Assignment": moderate puzzle from world 8 level 1

• "Getting Pumped": particularly hard puzzle

• "Catalyst II": particularly hard puzzle

• "Squaric Acid": particularly hard puzzle

I will not trade in this market.