The development of AI requires open cooperation, not working behind closed doors.

I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.

爱不是关于占有。它是关于记忆。