1 🤖 AI·大模型 量子位 2026-06-20 💬 陶哲轩12年前的预言，现在AI帮他兑现了 陶哲轩12年前的预言成真：AI+人类协作48小时攻克2200万数学难题，形式化证明迎来里程碑。 全球最聪明的人之一，成了AI最狂热的布道者 陶哲轩 年前的预言 现在 帮他兑现了 ai协作