Our existing knowledge representation systems can already deal with this. This is beyond my field of knowledge, but I guess a better example of a problem we can

Our existing knowledge representation systems can already deal with this. This is beyond my field of knowledge, but I guess a better example of a problem we can't solve easily yet would be achieving paraconsistent logic; A logical system that can deal with contradictions without falling into the principle of explosion. Like I said, this is some very abstract stuff that delves more into philosophy and mathematics that not many people are going to doing. The kind of system that people are trying to build here would be close to a "Theory of Everything".