When will an AI system, operating independently, solve or determine the undecidability of a Millennium Prize Problem and have its proof or disproof published in a peer-reviewed mathematics journal?
Will an AI be able to take arbitrary proofs from the mathematical literature and convert them into a symbolic form suitable for verification before 2030?