我坚信，现在最聪明的人工智能模型，GPT-5 Pro 和 Grok4 Heavy，已经足够聪明，当然也对数学和人工智能有足够的了解，能够在合适的巧妙提示下构思和开发重要的理论和实践发现。