Google团队利用Gemini Deep Think模型结合树搜索与自动验证,攻克了宇宙弦引力辐射功率谱积分的精确解析解难题。系统探索约600条路径,最终发现6种有效解法,其中基于格根鲍尔多项式的方法最为优雅,通过权函数消去奇点,将无穷级数折叠为余弦积分函数的有限封闭形式。这项研究展示了AI在数学...
88岁算法大师高德纳(Donald Knuth)在斯坦福大学发布论文,记录AI模型Claude Opus 4.6如何在一小时内解决他数周未解的图论难题——三维环形网格的哈密顿环分解。Claude经过31步系统性探索,最终找到通用构造方法,高德纳随后完成严格证明并将其命名为“类Claude分解”。这标...