Comment by ralfd

> but unless someone--a human--can verify and understand it

Why though a human? Mathematical proofs are very ivory-towery, but if OpenAI would solve a subkind of Cancer, without mortal humans understanding, cancer is still be healed.