I guess we can now ask a lot of simple questions in math for whose there can be answer, but the solution itself is untenably long to be produced or understood by mere mortal, not a computer or computer-like individual.<p>Same way as we can&#x27;t really reason about inner workings of machine learning model that yields useful results.<p>Talk about transhumanism.