实时 AI 消息
Claude一举扫清2000阶以下哈达玛矩阵,AI数学待解列表再被划掉一项
量子位报道,Anthropic的Claude模型一举扫清2000阶以下所有哈达玛矩阵,将这一长期悬而未决的组合数学难题从待解列表中划掉。报道强调解题的关键在于数学家的思路而非模型选择,再次印证大模型已能参与严肃数学研究。
量子位报道,Anthropic旗下Claude模型在数学研究上再下一城,一举扫清2000阶以下所有哈达玛矩阵,AI正在把数学待解列表一项项清空。
哈达玛矩阵是一类元素仅为±1、且任意两行相互正交的方阵,在编码理论、信号处理、量子信息等领域都有广泛应用,其存在性问题长期以来是组合数学中的经典难题。
报道以好数学家不挑AI模型为题,强调解决这一问题的关键在于数学家的思路与方法,而非具体选择哪家模型,Claude只是这场推理中的工具。
这是大模型在严肃数学研究问题上取得的又一进展,显示出模型在长链条组合推理上的实用价值,也意味着AI正在从解题工具走向数学发现的参与者。
报道尚未披露完整的证明细节与验证流程,后续值得关注的是该结果能否通过严格的同行验证,以及相关方法能否推广到更高阶哈达玛矩阵的构造与证明。
对于AI行业而言,这类数学突破正在成为衡量模型推理能力的硬指标,也让AI清空数学待解列表从口号逐渐变成现实。
为什么重要
该事件表明大模型已能在严肃数学研究中产出实质性成果,AI辅助数学发现正从演示走向可验证的科研实践。
附近消息
全部08/13 19:53
具身数据公司元点科技 40 天两轮融资数千万,押注物理 AI 基础设施
具身智能数据基础设施公司元点科技(SCALEFORCE)近日完成数千万元人民币融资,投资者包括恒旭资本、凯联资本及国内顶级具身智能产业方,这已是公司 40 天内的第二轮融资。资金将用于物理 AI 操作系统 MatrixOS 的迭代、大规模数据生产网络建设和团队扩展。
08/13 19:01
Maverick Payments 集成 Findustry AI Agent,自动化处理拒付申诉
支付处理服务商 Maverick Payments 宣布集成 Findustry 的 AI Agent,用于自动化处理商户拒付申诉流程,相关消息由 PYMNTS 报道。该集成把智能体引入争议处理环节,有望降低商户的人工运营负担,也为 AI Agent 在支付行业的落地再添一例。
08/13 19:00
OpenAI发布GPT-5.6构建指南:用更智能的模型选择与Responses API打造高效AI代理
OpenAI于8月13日发布GPT-5.6构建指南,向初创公司与开发者介绍如何通过更智能的模型选择和新的Responses API能力,更快、更具成本效率地构建AI代理。官方指南把代理开发的最佳实践系统化,意味着GPT-5.6在代理场景的落地路径正变得更加清晰。
08/13 20:04
Grok 4.6正式发布:跑分反超GPT-5.6 Sol与Fable 5 Max,价格低至2美元/百万token
SpaceXAI发布新一代模型Grok 4.6,官方跑分在GDPVal-AA v2等基准上反超GPT-5.6 Sol和Fable 5 Max,价格只要每百万token输入2美元、输出6美元,显著低于同级闭源模型。新模型已接入Grok Build、Cursor、Grok Bot和API,重点针对长程Agent任务优化,OpenRouter、Vercel、Cloudflare也已上线。