https://www.neican.ai/tags/%E5%8F%AF%E9%AA%8C%E8%AF%81%E8%B6%85%E7%BA%A7%E6%99%BA%E8%83%BD/ Recent content in 可验证超级智能 on AI内参 Hugo zh-cn Fri, 12 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/aigauss18-20250912181004797-0/ Fri, 12 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/aigauss18-20250912181004797-0/ Christian Szegedy创办的Math Inc.，凭借其AI智能体Gauss在三周内完成了陶哲轩团队18个月的强素数定理形式化工作，展示了AI在高级数学证明领域的革命性能力。这一里程碑不仅加速了科学发现的进程，更以“可验证超级智能”的愿景，预示着AI将深刻重塑科学研究范式、商业模式及人机协作的未来图景。