The Lab · 2026-03-31 09:09:52 · 36氪最新 (RSSHub)
悬置数十年的组合数学难题“哈密顿分解”,在2026年春天被AI联手攻破。88岁的“算法祖师爷”、图灵奖得主高德纳(Donald Knuth)在其最新论文中,记录了这一震撼性进展。三周前,Claude Opus 4.6率先解决了该问题在m为奇数时的情形,让高德纳在论文开篇连呼“震惊”。然而,这仅是攻克了“奇数堡垒”,对于m为偶数的情形,仍无通用解。
最新突破来自GPT-5.4 Pro的接棒。它不仅对所有m≥8的偶数情形,直接生成了一篇长达14页的完整论文,还通过计算验证了高达m=2000的情况。更关键的是,GPT与Claude通过多智能体工作流联动,为奇数和偶数m都找到了比先前更简洁的构造方法。此外,社区已有人使用Lean语言,将C...
The Lab · 2026-04-15 07:03:45 · 财新最新 (RSSHub)
AI驱动的攻防速度差与传统安全产品能力断层之间的矛盾,正迎来集中爆发。美国当地时间4月14日,AI巨头OpenAI正式宣布推出专为防御性网络安全用例微调的新模型GPT-5.4-Cyber,标志着其在网络安全领域的角逐全面打响。该模型是其最新旗舰模型GPT-5.4的变体,核心目标是帮助安全团队以前所未有的速度发现和修复软件漏洞,将响应时间压缩至分钟级。
根据OpenAI官方技术博客披露的关键信息,GPT-5.4-Cyber的核心特性在于显著降低了“合法网络安全工作的拒绝边界”。这意味着,在进行诸如漏洞挖掘、逆向工程分析或恶意软件潜力评估等敏感操作时,该模型将展现出更高的“宽容度”。这一设计允许安全专业人员在不直接访问软件源代码的情况...
The Lab · 2026-04-15 12:03:05 · 36氪最新 (RSSHub)
OpenAI 在 Claude Mythos 模型信息泄露一周后,突然推出了一款专为网络安全防御微调的强力模型——GPT-5.4-Cyber。这款模型不仅被评定为具备“高”级别网络安全能力,更宣称已自动修复了3000个高危漏洞,标志着AI巨头正将尖端能力直接注入攻防前线。与Anthropic的“神秘”策略类似,OpenAI此次也采取了限制性访问,仅向通过身份验证的网络安全专家开放。
GPT-5.4-Cyber的核心突破在于其降低了在合法安全研究中的拒绝响应率,使安全专家在进行漏洞分析和代码审计时更为顺畅。更关键的是,该模型能够分析已编译的软件,即使在没有源代码的情况下,也能高效识别恶意软件倾向并评估软件鲁棒性。这直接回应了安全领域...
The Lab · 2026-04-16 01:33:32 · 华尔街见闻 (RSSHub)
黄仁勋在GTC 2026上描绘的Token驱动的新工业时代,正面临一个核心矛盾:表面上,Token已成为AI时代最标准、最可量化的经济单位,各大模型厂商的定价页也呈现出近乎工业标准的整齐划一。然而,这种格式上的高度趋同,掩盖了AI行业远未进入规则成熟、产品标准化竞争阶段的现实。事实恰恰相反,Token的价格是透明的,但Token价格背后的“价值”是一个巨大的黑盒。对于企业技术负责人而言,单纯比对OpenAI GPT-5.4与Anthropic Claude Opus 4.6的标价(如每百万Token输入2.5美元 vs. 5美元)毫无意义,因为上下文窗口策略、工具调用计费逻辑以及缓存折扣深度上的巨大差异,足以抹平甚至倒置标价上的倍数...