small nit:
as a former PhD, I am suspicious of obtuse writing vs simple, easy to verify, easy-to-invalidate writing.
I found the AO paper to be too lofty or academic for my tastes, but didnt boil down the key things i was looking for in AI x Blockchain.
This was one (of many) of the inspiration for writing this: What Makes AI on Blockchain Hard? [Request for feedback on post]