一句话判断
提供了反例具体数据,但缺方法细节;可跟进查看原帖或相关论文。
核心信息
GPT 5.6 Pro 反驳了 Dinitz-Garg-Goemans 猜想(开放约 30 年),通过简单提示词(如“做个突破”)发现反例:分数流成本 58 时,不可分割流成本至少 60。
原始内容
相关动态
结构化输出导致模型同质化
康奈尔大学一项针对44个模型的研究发现,要求模型以JSON格式输出会导致回答同质化:在开放式选词提示中,JSON格式将模态答案比例从41%提升至64%,独特答案从52减少到36;这种效应出现在JSON和XML上,但在YAML和CSV上消失。
BBC 称某初创公司为「AI 的未来家伙」
BBC 分析称,某初创公司在 AI 领域表现出色,将其描述为『AI 的未来家伙』。该公司的模型性能已达到 90% 准确率,但具体技术细节未公开。
AI发现Dinitz-Garg-Goemans猜想反例
GPT-5.6 Pro 发现了图论中开放约30年的 Dinitz-Garg-Goemans 猜想的一个反例,该反例显示存在分数流成本58且任何不可分流量成本至少60的图。
百度开源 Unlimited-OCR 再登 HuggingFace 前三
百度开源的无限制OCR模型Unlimited-OCR(30亿参数,32K上下文)再次登上HuggingFace总榜第三,被Yann LeCun转发。该模型可一次性解析100页PDF,40页后错误率低于0.11,准确率93%,GitHub Star 1.65万,HuggingFace下载量224万。技术核心是R-SWA机制,能保持恒定KV ...
NVIDIA 开源模型获 IMO 金牌
NVIDIA AI 对 Nemotron 3 Ultra 进行 IMO 2026 问题测试,得分 30/42,超过金牌线 29 分,首次实现开源模型在 IMO 获金牌水平。