If something has been proven, but nobody knows what the proof is (in language that humans can…

If something has been proven, but nobody knows what the proof is (in language that humans can understand), maybe that becomes the job of mathematicians. Though I suppose the bitter lesson is that eventually, AI also gets better than humans at translating the outputs of AI. 引用 @ValerioCapraro：BREAKI