AI可以加速科學發現——但前提是我們要將其與科學本身保持相同的標準。 訓練數據和輸出必須經過驗證，而不是假設。 通過ZK加密，我們可以將可驗證性嵌入到過程中，確保發現既快速又可靠。