图论
搜索文档
88岁图灵奖得主,用Claude一小时破解30年数学悬案
量子位· 2026-03-05 16:32
事件概述 - 88岁的图灵奖得主、计算机科学奠基人Donald Knuth(高德纳)发文,记录其研究数周、根源可追溯30年的三维图论开放问题,被Claude Opus 4.6在1小时内破解[1][2][5] - Claude通过31次探索,运用“纤维分解”、“蛇形构造”等结构性思路,推导出适用于所有奇数m的通用构造算法,而非暴力搜索[4] - 高德纳亲自验证了m=3, 5, 7, 9, 11等情况,结果全部正确,其朋友甚至测试到m=101依然完美契合[10][11] - Claude在解决奇数情形后,挑战偶数情况时陷入僵局,程序出现报错[13] 问题与解决方案细节 - 具体问题:在一个拥有m^3个顶点的三维网格图中,能否将所有的弧完美拆解成三个互不重叠、且经过每个顶点恰好一次的哈密顿循环?m=2已被证明不可能,高德纳此前仅解出m=3的特例[6] - 解决过程:Claude在第15次探索中引入商映射,将顶点划分为“纤维层”,将三维路径寻找问题降维简化;在第21次探索中利用凯莱图性质,发现“蛇形”构造方法;在第30次探索中发现在某些纤维层移动的选择可仅取决于单个坐标,最终在第31次探索中编写出Python程序给出通用算法[7][8][9] - 方案特点:Claude清晰地展示了其从错误中学习、重新表述问题、利用凯莱图的群论性质进行推导的过程,完成了一次“自动演绎与创造性问题解决”的示范[12] 高德纳的背景与影响 - 高德纳是计算机科学界的传奇人物,36岁获得图灵奖,是历史上最年轻的图灵奖得主之一[16][18] - 其著作《计算机程序设计艺术》被《美国科学家》杂志列为20世纪最重要的12部物理科学著作之一,与爱因斯坦《相对论》并列[19][22] - 为完美呈现数学公式,高德纳开发了TeX排版系统,其版本号不断趋近π,象征无限接近完美[27] - 高德纳自1990年起停用电子邮件以专注研究,是一位对精确性追求极致的老派逻辑大师[27] 事件意义与行业启示 - 此事件展示了生成式AI(特别是Claude)在逻辑推理和创造性数学问题解决方面的强大能力,超越了简单的概率预测[12] - AI在攻克难题后遇到瓶颈(如偶数情况),恰恰证明了科学探索的真实性,并为人类与AI协作指明了新起点[14] - 高德纳的震撼反应(“Shock! Shock!”、“为Claude脱帽致敬!”)本身极具冲击力,因其代表了传统严谨逻辑思维对AI新能力的认可[1][5][27] - 高德纳文中提及的“Claude”一语双关,既指AI模型Claude,也指向信息论奠基人克劳德·香农(Claude Shannon),赋予了事件更深的历史意义[27]
“超表面”器件能集成光子量子操作
科技日报· 2025-08-04 07:40
量子光学技术突破 - 美国哈佛大学研究人员开发出新型光学器件"超表面",可在单一平面上完成复杂量子操作 [1] - 超表面可同时承担多种传统光学元件功能,解决光子量子信息处理领域体积庞大、组件繁多的扩展性难题 [1] - 光子具有高速、抗干扰特性,是常温下高速传输信息的有力候选者 [1] 超表面技术原理 - 超表面厚度达纳米级,表面布满比光波波长还小的微纳结构,能精准调控光的相位、偏振等属性 [2] - 研究团队引入图论对多光子干涉路径建模,将抽象图转化为超表面上纳米结构布局 [2] - 超表面设计将传统复杂量子光学系统"浓缩"为微型平台,提升系统稳定性和抗干扰能力 [2] 技术优势与应用前景 - 一体化设计大幅减少光学损耗,对保持量子信息完整性至关重要 [2] - 装置可通过现有半导体制造工艺批量生产,未来有望实现低成本、可复制的量产模式 [2] - 技术不仅推动常温量子计算机和通信网络发展,也可能在量子传感、基础科研等领域带来新工具 [2]
原来这么多大佬都在阿里上过班?
猿大侠· 2025-05-21 12:34
阿里巴巴离职创业人才 - 阿里巴巴初创团队成员孙彤宇于1999年加入公司,2003年创建淘宝网并担任总裁,2008年离职 [1] - 何小鹏2004年联合创立UC优视(UC浏览器用户超4亿),公司被阿里巴巴收购后离职创办小鹏汽车 [1] - 阿里巴巴向互联网行业输送了多位成功创业者,形成人才溢出效应 [1] 算法题解析 - 题目要求在有概率权重的无向图中计算起点到终点的最大成功概率路径,概率为边权乘积 [3] - 示例1展示两条路径概率计算:直接路径0.2 vs 间接路径0.5*0.5=0.25 [3] - 示例2说明节点无连通时返回0 [4] 技术实现方案 - 采用SPFA算法变体,通过最大堆优化路径选择,概率值作为排序依据 [4] - 邻接表存储图结构,visited数组标记出堆节点避免重复计算 [6] - JAVA/C++实现均使用优先队列处理节点,概率相乘更新路径值 [6][8] 算法约束条件 - 节点规模2 ≤ n ≤ 10^4,边数不超过2*10^4 [5] - 概率值范围0 ≤ succProb[i] ≤ 1,节点间最多存在一条边 [5] - 要求结果误差不超过1e-5 [3]