The AIxcc booth felt like it was meant for a tradeshow as opposed to being a place where someone could learn something.
I believe there will be even more cool stuff in next year’s grand final. If you want to get a sense of what to expect, check out the DARPA CGC from 2016. :)