实时 AI 消息
Claude一举扫清2000阶以下哈达玛矩阵,AI数学待解列表再被划掉一项
量子位报道,Anthropic的Claude模型一举扫清2000阶以下所有哈达玛矩阵,将这一长期悬而未决的组合数学难题从待解列表中划掉。报道强调解题的关键在于数学家的思路而非模型选择,再次印证大模型已能参与严肃数学研究。
量子位报道,Anthropic旗下Claude模型在数学研究上再下一城,一举扫清2000阶以下所有哈达玛矩阵,AI正在把数学待解列表一项项清空。
哈达玛矩阵是一类元素仅为±1、且任意两行相互正交的方阵,在编码理论、信号处理、量子信息等领域都有广泛应用,其存在性问题长期以来是组合数学中的经典难题。
报道以好数学家不挑AI模型为题,强调解决这一问题的关键在于数学家的思路与方法,而非具体选择哪家模型,Claude只是这场推理中的工具。
这是大模型在严肃数学研究问题上取得的又一进展,显示出模型在长链条组合推理上的实用价值,也意味着AI正在从解题工具走向数学发现的参与者。
报道尚未披露完整的证明细节与验证流程,后续值得关注的是该结果能否通过严格的同行验证,以及相关方法能否推广到更高阶哈达玛矩阵的构造与证明。
对于AI行业而言,这类数学突破正在成为衡量模型推理能力的硬指标,也让AI清空数学待解列表从口号逐渐变成现实。
为什么重要
该事件表明大模型已能在严肃数学研究中产出实质性成果,AI辅助数学发现正从演示走向可验证的科研实践。
附近消息
全部08/13 19:01
Maverick Payments 集成 Findustry AI Agent,自动化处理拒付申诉
支付处理服务商 Maverick Payments 宣布集成 Findustry 的 AI Agent,用于自动化处理商户拒付申诉流程,相关消息由 PYMNTS 报道。该集成把智能体引入争议处理环节,有望降低商户的人工运营负担,也为 AI Agent 在支付行业的落地再添一例。
08/13 14:33
联想集团Q1营收1834亿元创历史新高,同比大增43%,AI服务器业务爆发
联想集团发布2026/27财年第一季度财报,当季营收达1834亿元人民币,同比增长43%,创历史同期最佳业绩。AI服务器业务迎来爆发期,成为拉动增长的核心引擎,公司正加速向AI基础设施提供商转型。
08/13 11:54
DeepSeek V4 Pro正式版发布,调用API即可直接用上完全体
8月13日,据量子位报道,DeepSeek正式发布了V4 Pro正式版,现在调用即可直接用上完整能力的模型。报道显示V4 Pro在多项能力上对标Fable 5,目标直指当前最强旗舰模型。
08/13 11:11
360携手《知识就是力量》发布“知力·纳米”科普科幻AI大片创作平台
《知识就是力量》杂志社携手360科技集团举行“知力·纳米 科普科幻AI大片创作平台”发布暨AI创作交流活动,正式推出面向科普与科幻内容的AI大片创作平台。该平台依托360的纳米大片流水线,将AI影视生成能力引入科普内容生产。