So he mentions hard problems in game theory and computer science which have never been solved... with maybe a handful of people working on them... and he thinks it will get done some time before the end of next year?