科技日报报道,近期人工智能在数学上的密集突破引发学界广泛关注。7月底,腾讯混元科研智能体Hyra依托Hy3大模型,仅用24小时便攻克了加法组合学领域一道延续50余年的和差集公开难题,将最优指数推进至理论极限值2。
报道指出,该过程并非简单调用已有知识,而是更接近人类数学家的研究路径:提出猜想、尝试不同路径、分析失败原因、总结中间结论,再据此不断调整方向。多个智能体分别开展独立探索,定期交流思路、反例和阶段性结果,逐步形成完整证明框架。
8月初,OpenAI也披露其测试模型已解决或推动解决10道长期未解的数学问题,横跨高维几何、编码理论、群论等多个领域。业内认为,随着大模型长程推理与智能体协作能力持续提升,AI在科研中的角色正从辅助计算走向参与提出构造方案,但基础研究中人与AI协同的新范式仍待建立。