A new proof narrows what decentralized AI can be built on — type0 | type0