I see "Oracles" on the "Why is æternity so innovative?" section, curious if this has actually been solved already, because as far as I know, nobody has solved it yet.