3 ms·yes the problem is that games are the only formalizable apps. We need an AI to formalize the rest.by return0 11y agoyes the problem is that games are the only formalizable apps. We need an AI to formalize the rest.