新闻中心

当前位置 > 新闻中心> 电脑办公 > CPU

伐木累

AI推翻87年数学难题?困扰数学界的雅可比猜想,可能被三行公式证伪了_我的网站

求婚大作战

一 |       品牌是高质量发展的重要象征,加强品牌建设是满足人民美好生活需要的重要途径。“十五五”规划明确提出,要强化品牌引领、标准升级与新技术应用,稳定大宗消费,促进消费品更新换代,更好满足多层次消费需求。  着力推动品牌建设,需要更好激发企业的主动性创造性。企业是创新的主体,也是塑造和培育品牌的基本单元。    悬而未决 87 年的经典数学难题——雅可比猜想(Jacobian Conjecture),可能被一个只有三行公式的反例推翻了。         7 月 20 日,数学家、Anthropic 研究人员 Levent Alpöge 在社交平台 X 公布了一个三元多项式映射。它满足了雅可比猜想要求的前提条件,却违背了猜想的结论,因此构成了一个可能推翻整个猜想的反例。         更引人关注的是,Alpöge 在帖子中将这一反例归功于 Anthropic 最新发布的 AI 模型 Claude Fable 5。8月18日,在兔宝宝·中国名牌——品质溯源媒体论坛上,多家权威媒体与公司核心管理层展开深度对话,从全链路数智化转型到“好房子”场景深耕,全方位解码兔宝宝以技术革新筑牢品质根基、以场景创新回应消费者需求的品牌建设路径与企业社会担当,探寻家居建材行业在高质量发展新阶段的品牌跃升之道。他还表示,是朋友 Akhil 首先向模型提出这一问题,而 Fable 5 则在他们观看世界杯决赛期间持续搜索,最终找到了这一反例构造。         (来源:X)          消息发布后,数学界迅速展开核验。  伴随整家定制行业迭代升级,消费市场需求已然从传统单一的柜体定制,转向全屋一体化、场景化、个性化的整体人居解决方案。斯坦福大学数学系助理教授 Jared Duker Lichtman 转发称这一结果“相当惊人”;MathOverflow 很快收录了相关讨论,不少研究者还利用 Wolfram Alpha、SymPy 等工具进行了独立计算。德华兔宝宝家居公司市场运营中心副总监王辉表示,现代家居定制早已跳出“量尺、画图、生产”的传统单一流程,核心逻辑是围绕用户生活方式、居住场景与个性化需求,打造全维度一体化家装解决方案。目前,最关键的两项验证:雅可比行列式是否恒为 −2,以及三个不同点是否确实映射到同一点,均已通过公开计算验证。         如果后续没有发现新的漏洞,这将意味着:1939 年提出的雅可比猜想在三维情形下不成立,并可进一步推出其在所有三维及以上维数下均不成立;而二维情形仍然保持开放。  全链路数智革新 五大核心环节构筑定制闭环  创新是品牌长效发展的内生动力,也是新质生产力落地实体经济的重要抓手。在家居建材行业转型升级的关键阶段,兔宝宝作为行业头部企业,始终以技术革新为核心支撑,深耕制造业绿色化、智能化、高端化赛道。         被称为“民科坟场”的雅可比猜想          雅可比猜想由德国数学家奥特-海因里希·凯勒(Ott-Heinrich Keller)于 1939 年提出,讨论的是一个看似简单、却困扰数学界近九十年的问题:什么时候,一个多项式映射一定能够"倒推"回原来的函数?          图|海因里希·凯勒(左)(来源:Wikipedia)          理解这个猜想,可以先想象一张橡胶膜。

二 |   据王辉介绍,兔宝宝的智能化定制并非局限于单一生产环节的升级,而是贯穿全屋定制全流程的系统性革新,覆盖前端设计、订单流转、工厂制造、物流溯源、一站式交付五大核心板块,构建完整的智能化服务闭环。  在前端设计环节,依托三十余年行业深耕积淀,兔宝宝搭建了体系成熟、品类丰富的模块化设计库,搭配智能化设计系统,可精准适配不同家庭的居住理念、生活习惯与个性化审美需求。如果局部看,每一小块都没有被撕裂或压扁,人们很自然会问:整张膜会不会在别的地方折叠起来,让两个不同的位置重合?          数学里的情况与此类似。对于多变量多项式映射,如果它在每一个局部都满足一种“没有折叠”的条件,也就是雅可比行列式始终等于同一个非零常数。品牌摒弃同质化、模板化的套路设计,以智能算法赋能需求精准匹配与方案精细化管理,为每个家庭定制专属化人居空间方案。  在订单流转环节,兔宝宝打通设计端与生产端的数字化壁垒,实现设计方案一键导入智能订单系统,替代传统人工对接、反复沟通的繁琐流程,有效减少沟通误差、压缩流转周期,大幅提升订单处理、排产生产的整体效率,为全屋定制全流程提速增效。那么它是否一定在整体上也是一一对应的?它的逆映射又是否仍然是一个多项式?          这就是雅可比猜想。

三 |   在工厂制造环节,兔宝宝搭载智能4.0数字化产线,配备德国豪迈全进口封边设备等一系列生产装置,高端化、高精度的生产配置位居行业头部。它的陈述只有短短几句话,却异常难以证明。依托领先的智造设备与标准化生产体系,品牌从源头把控产品工艺精度与品质稳定性。不少数学研究者戏称它为“crank graveyard”——“民科坟场”。许多人被它吸引,最终却陷入漫长而徒劳的推导之中。  在物流溯源环节,品牌将自身板材核心优势与数字化溯源技术深度融合。         著名华人数学家张益唐,就曾把整个博士阶段投入到这个问题。

四 | 为每一块柜体板、层板、柜门板配备专属二维码,实现板材原料、生产流程、产品资质全链路透明可溯,解决家居消费真伪难辨的行业痛点。  在一站式交付环节,品牌搭建全流程可视化订单服务体系。1991 年,他在普渡大学完成博士论文《雅可比猜想与域扩张的次数》,导师莫宗坚是国际上研究雅可比猜想最重要的学者之一。

五 | 消费者下单后,可通过品牌官方网站、订单查询系统,实时追踪订单生产进度、把控生产周期,实现生产、物流、安装、交付全流程透明化、可管控,形成从设计研发到落地交付的完整服务闭环,全面优化用户家装体验。  锚定“好房子”战略 深耕环保健康与适老化双赛道  2025年底,《住房城乡建设部关于提升住房品质的意见》提出,到2030年,房屋品质提升工程取得显著进展,住房标准、设计、材料、建造、运维水平大幅提升,保障性住房率先建成“好房子”,商品住房更好满足刚性和改善性需求,老房子改造为“好房子”取得明显进展,形成有效支撑住房品质提升的政策体系、标准体系、技术体系和产业体系。

六 | 张益唐的工作推进了这一研究方向,却并没有解决猜想本身。后来,他离开代数几何,转向解析数论,并最终因证明有界素数间隔而闻名世界;雅可比猜想,则依然留在开放问题名单中。         1998 年,菲尔兹奖得主 Stephen Smale 将其列入著名的《下一个世纪的数学问题》(Mathematical Problems for the Next Century)第 16 题,认为它的解决将对数学发展产生重要影响。         过去近 90 年里,一维情形早已证明成立,二维至今仍未解决,而三维及更高维也始终没有答案。

七 |   在王辉看来,高品质“好房子”的核心内核,聚焦人居环境的环保健康属性与居住空间的适老友好属性两大维度,这也是兔宝宝深耕人居产品升级的核心方向。

八 | 由于这一猜想要求所有维数都成立,因此,只要在任意一个维数找到反例,整个猜想就会被推翻。

九 |          三个点,击穿一个猜想          而此次,Alpöge 公布的是一个从三维复空间到三维复空间的多项式映射:          直接计算可知,这个映射的雅可比行列式恒等于 −2。由于 −2 是一个非零常数,因此它完全满足雅可比猜想的前提条件。         然而,当把三个不同的点          分别代入这一映射时,得到的结果却都是同一个点:          这足以构成反例。

十 |   环保健康是兔宝宝深耕行业三十余年的立身之本与核心品牌名片。自1992年创立以来,品牌始终坚守绿色人居发展理念,深度参与ENF级环保标准的制定,推动全行业绿色化转型。同时,兔宝宝推出芯选系列产品,涵盖超芯板、顺芯板、桉芯板等多款品类,为全年龄段家庭打造安全、洁净、健康的居住环境。原因很简单:如果多个不同的输入对应同一个输出,那么映射就不是单射。  适老化改造作为民生人居升级的重要板块,兔宝宝聚焦设计端与交付端双向优化,打造适配老年群体的专属定制解决方案。在产品设计层面,品牌重点围绕“安全无障碍防护”与“简约实用收纳”两大核心发力,通过优化产品边角结构、调整空间布局,最大可能提升居家安全防护,全方位提升老年居家安全性;在收纳设计上,简化操作逻辑、强化实用属性,深度适配老年人的生活习惯与使用需求。

十一 | 同时,品牌将除醛抗菌核心产品融入适老空间设计,双重保障老年居住环境的健康与安全。换句话说,当已知输出时,无法唯一确定原来的输入,因此它不可能拥有逆映射,更不可能拥有由多项式组成的逆映射。这与雅可比猜想的结论正面冲突。  王辉透露,目前,兔宝宝已参与“好房子”样板间建设计划,在样板间内践行上述环保健康与适老化设计标准。         这个反例还具有极强的可核查性。未来,兔宝宝将持续深化数智定制技术研发,迭代升级环保健康、适老化细分场景产品与方案,为消费者打造更舒适、安全、健康的理想人居,助力家居行业高质量发展与人居品质全面升级。许多重大数学成果往往需要专家花费数月甚至数年时间,逐页检查上百页证明;而这个结果的核心,仅涉及两项有限的代数计算:一是验证雅可比行列式恒等于非零常数,二是验证三个不同的点确实映射到了同一个点。         截至目前,这两项计算均已得到公开复核。

十二 | 研究者 Zihan Zhang 给出了独立的 SymPy 验证脚本,并指出,只需将其中一个输出坐标乘以 −1/2,就可以把雅可比行列式规范化为猜想中更常采用的常数 1,而这不会改变反例的本质。         如果这一反例最终成立,它不仅推翻三维情形,也意味着所有更高维情形都不再成立。因为只需在三维反例后增加若干保持不变的坐标,就可以直接构造出任意更高维的反例。

十三 | 不过,二维雅可比猜想仍然是一个独立的开放问题          值得补充的是,Levent Alpöge 并不是从 AI 领域半路进入数学,而是一位长期从事数论与算术几何研究的职业数学家。近年来,他才加入 Anthropic,从事人工智能研究。         他本科毕业于哈佛大学,主修数学,并获得物理学硕士学位;随后在剑桥大学完成数学高级研究课程。2020 年,他在普林斯顿大学获得数学博士学位,导师是菲尔兹奖得主 Manjul Bhargava。         图|Levent Alpöge(来源:Quanta Magazine)          大型语言模型兴起后,Alpöge 开始转向人工智能。他曾在个人主页写道,GPT-4 让他认为人工智能是“人类创造过的最有意思的东西”,因此重新回到计算机科学领域,希望增加这场变化产生积极结果的可能性。         根据目前公开的信息,这次发现的大致过程是:Akhil 提出问题,Alpöge 将其交给 Claude Fable 5 进行探索,模型最终给出了具体的反例构造;随后,Alpöge 公开了这一构造,数学界再通过人工推导以及 Wolfram Alpha、SymPy 等工具进行了独立验证。         这一过程与 AI 替数学家写出一份传统意义上的数学证明有所不同。对于否定一个猜想而言,并不需要解释所有可能情况,只需要找到一个满足前提、却违反结论的反例即可。这样的任务天然适合计算探索:模型可以不断尝试构造候选映射、调整参数、检查雅可比条件,再寻找是否会出现不同点映射到同一点的情况。         如果这一反例最终得到确认,它带来的意义将十分重大。

十四 | 因为它展示了一种此前极少出现的研究模式:不是 AI 帮助数学家验证已经存在的思路,而是AI参与寻找一个人类 87 年来始终没有找到的数学对象。

十五 |          从 AlphaGeometry 解决竞赛题,到 GPT、Gemini 参与证明具体命题,再到这一次可能找到推翻经典猜想的反例,大模型参与数学研究的角色正在发生变化。它开始探索的,不再只是“答案”,而是过去只有数学家才会进入的未知搜索空间。         参考链接:          1.https://x.com/leventalpoge          2.https://mathoverflow.net/questions/513387/galois-structure-of-the-new-counterexample-to-the-jacobian-conjecture-an-explic          3.https://www.leventalpoge.com/          4.https://dataspace.princeton.edu/          5.https://www.ams.org/prizes-awards/ams-morgan-prize          运营/排版:何晨龙          注:封面由 AI 辅助生成。

Current article:http://www.bainangmieruopanglaomen.sbs/mt8a/exxethn.ppt

Published on:17:06:04


文章观点支持

文章价值打分
当前文章打分0 分,共有0人打分
热门评论
热门文章