Christian Szegedy创办的Math Inc.，凭借其AI智能体Gauss在三周内完成了陶哲轩团队18个月的强素数定理形式化工作，展示了AI在高级数学证明领域的革命性能力。这一里程碑不仅加速了科学发现的进程，更以“可验证超级智能”的愿景，预示着AI将深刻重塑科学研究范式、商业模式及人机协作的未来图景。