我堅信，現在最聰明的人工智能模型，GPT-5 Pro 和 Grok4 Heavy，已經足夠聰明，當然也對數學和人工智能有足夠的了解，能夠在合適的巧妙提示下構思和開發重要的理論和實踐發現。