Trhy s predikcemi stále používají staré orákulové nastavení a @MylesOneil si myslí, že se to brzy změní. "Jedním z příkladů ověřitelného odvozování, který bude letos ve výrobě a bude mít PMF, jsou AI soudci pro predikční trhy."