
Resolves YES if on the close date, it is possible for a user to code and then deploy a smart contract to Manifold. Smart contracts should have following capabilities:
- Hold mana and market shares 
- Make bets 
- Carry out Turing-complete computations, (perhaps constrained by some kind of gas metering to prevent using too much server compute). 
- Store state that can be retrieved when the contract is called in the future (perhaps also limited somehow). 
Here's a very simple use case for a good smart contract bot. You managram it money and it maintains a balance for you. Then on any market, you can comment something like "@smartcontractbot <this market> resolves the same as <other market> 10" and then the bot automatically sets 10 mana from your balance aside for risk-free arbing those markets to have the same price. Then it returns any mana made this way to you when the markets resolve.
@CamillePerrin I guess for a more serious answer, I would not feel very comfortable running a smart contract bot myself because I do not know how to maintain a server with 99% uptime and I don't want to be holding people's money in a way they can't withdraw.