📁 泰倫斯·陶，菲爾茲獎得主，表示 AI 已經能夠生成許多數學證明。 真正的瓶頸在於驗證。 創造想法變得便宜。 知道哪些想法是真正正確的仍然是人類的工作。