According to CoinMeta, Charles Hoskinson, the founder of Cardano, stated that the rapid progress of artificial intelligence in the field of advanced mathematics far exceeds his expectations, especially in generating and formally verifying complex mathematical proofs. In a recent YouTube broadcast, he discussed the claims regarding the AI generation methods related to the Navier-Stokes Millennium Prize problems, noting that modern AI systems demonstrate astonishing mathematical capabilities. Hoskinson pointed out that the emergence of AI has surpassed his imagination in terms of the ability to generate mathematical proofs and emphasized the importance of solving Navier-Stokes problems for mathematics and physics. He warned that researchers should be cautious about protecting their intellectual property when using powerful AI models.