AI的数学能力究竟有多强
AI数学能力取得里程碑式突破！Frontier Math基准测试准确率从2024年不到2%跃升至2026年约40%，预示着年底或明年中期该基准可能被完全解决。AI通过自生成数据、神经符号混合架构、自我博弈等技术实现从直觉猜测到严格证明的飞跃。Terrence Tao提出的亚里士多德工作流——人类提供意图和直觉，AI自动形式化翻译成Lean等可验证代码——正在成为新范式。这将推动软件形式验证从测试升级为证明，实现防崩溃编程，物理模拟也将升级为精确求解。密码学与经济学面临量子计算+AI的破解风险，但信息论上安全的加密方式仍存在。