职来职往
云南省科学技术协会原党组书记、常务副主席张泽军,被“双开”_政治_严重_我的网站

一 |

二 | (来源:X) 消息发布后,数学界迅速展开核验。斯坦福大学数学系助理教授 Jared Duker Lichtman 转发称这一结果“相当惊人”;MathOverflow 很快收录了相关讨论,不少研究者还利用 Wolfram Alpha、SymPy 等工具进行了独立计算。目前,最关键的两项验证:雅可比行列式是否恒为 −2,以及三个不同点是否确实映射到同一点,均已通过公开计算验证。今年6月15日,云南省科协党组领导班子召开汲取张泽军案深刻教训专题民主生活会。会议指出,张泽军严重违纪违法案件折射出省科协在政治站位、政治担当、政治责任、政治纪律和政治规矩、履职尽责等方面的明显差距。 如果后续没有发现新的漏洞,这将意味着:1939 年提出的雅可比猜想在三维情形下不成立,并可进一步推出其在所有三维及以上维数下均不成立;而二维情形仍然保持开放。 被称为“民科坟场”的雅可比猜想 雅可比猜想由德国数学家奥特-海因里希·凯勒(Ott-Heinrich Keller)于 1939 年提出,讨论的是一个看似简单、却困扰数学界近九十年的问题:什么时候,一个多项式映射一定能够"倒推"回原来的函数? 图|海因里希·凯勒(左)(来源:Wikipedia) 理解这个猜想,可以先想象一张橡胶膜。

三 | 如果局部看,每一小块都没有被撕裂或压扁,人们很自然会问:整张膜会不会在别的地方折叠起来,让两个不同的位置重合? 数学里的情况与此类似。对于多变量多项式映射,如果它在每一个局部都满足一种“没有折叠”的条件,也就是雅可比行列式始终等于同一个非零常数。那么它是否一定在整体上也是一一对应的?它的逆映射又是否仍然是一个多项式? 这就是雅可比猜想。它的陈述只有短短几句话,却异常难以证明。会议要求,要深刻汲取张泽军严重违纪违法案件教训,着力构建风清气正的政治生态。不少数学研究者戏称它为“crank graveyard”——“民科坟场”。许多人被它吸引,最终却陷入漫长而徒劳的推导之中。

四 | 著名华人数学家张益唐,就曾把整个博士阶段投入到这个问题。各级党组织和党员干部要旗帜鲜明讲政治,坚持以案示警、以案为鉴、以案促改,坚决肃清张泽军严重违纪违法案件恶劣影响,全面修复和重构风清气正的政治生态,推动省科协各项事业健康发展。1991 年,他在普渡大学完成博士论文《雅可比猜想与域扩张的次数》,导师莫宗坚是国际上研究雅可比猜想最重要的学者之一。张益唐的工作推进了这一研究方向,却并没有解决猜想本身。牢固树立坚定的理想信念,坚持不懈强化理论武装,加强党性修养锻炼,着力解决好世界观、人生观、价值观这个“总开关”问题,始终筑牢信仰之基、补足精神之钙、把稳思想之舵。

五 | 后来,他离开代数几何,转向解析数论,并最终因证明有界素数间隔而闻名世界;雅可比猜想,则依然留在开放问题名单中。坚持正确选人用人导向,落实新时期好干部标准,严把政治关、品行关、作风关、廉洁关,树立“重实干、重实绩”的鲜明选人用人导向。

六 | 严格管理监督党员干部,深化运用监督执纪“四种形态”,把监督体现在时时处处事事上,特别是领导班子要自觉主动接受监督,不断增强接受监督的政治自觉、思想自觉和行动自觉。今年6月17日,云南省科协系统召开“以案为鉴”警示教育大会。 1998 年,菲尔兹奖得主 Stephen Smale 将其列入著名的《下一个世纪的数学问题》(Mathematical Problems for the Next Century)第 16 题,认为它的解决将对数学发展产生重要影响。 过去近 90 年里,一维情形早已证明成立,二维至今仍未解决,而三维及更高维也始终没有答案。

七 | 会议通报了云南省科协原党组书记、常务副主席张泽军严重违纪违法案件相关情况,深入剖析了案件教训,以身边事教育身边人。由于这一猜想要求所有维数都成立,因此,只要在任意一个维数找到反例,整个猜想就会被推翻。

八 | 三个点,击穿一个猜想 而此次,Alpöge 公布的是一个从三维复空间到三维复空间的多项式映射: 直接计算可知,这个映射的雅可比行列式恒等于 −2。会议指出,张泽军严重违纪违法行为根源在于丢失了理想信念的“压舱石”,大德不立、公德不守、私德不严,是其身份错位、贪欲膨胀、目无法纪、任性妄为的必然结果。由于 −2 是一个非零常数,因此它完全满足雅可比猜想的前提条件。 然而,当把三个不同的点 分别代入这一映射时,得到的结果却都是同一个点: 这足以构成反例。深刻的教训为全体参会人员敲响了警钟,警示省科协系统全体党员领导干部要切实增强底线意识,遵纪守法,永葆清廉本色。会议要求,各级党组织要坚持破立并举、标本兼治,以案促改、以案促治,从政治、思想、组织、作风、纪律等方面,坚决肃清张泽军严重违纪违法案件恶劣影响,在提高政治“三力”上下功夫,在全面从严治党上求实效,在廉洁自律上出真招,在自身建设上求突破,在推进科协事业发展中开新局,把被践踏的纪律规矩严立起来,把被误导的思想认识和价值理念扭转过来,把被带坏的党风政风修复过来,把党员干部的心思和精力凝聚到创新发展上来,一体推进不敢腐、不能腐、不想腐,深化“清廉机关”建设,为科协事业高质量发展营造风清气正的政治生态和干事创业的良好环境。原因很简单:如果多个不同的输入对应同一个输出,那么映射就不是单射。

九 | 换句话说,当已知输出时,无法唯一确定原来的输入,因此它不可能拥有逆映射,更不可能拥有由多项式组成的逆映射。

十 | 这与雅可比猜想的结论正面冲突。 这个反例还具有极强的可核查性。张泽军简历张泽军,男,纳西族,1963年3月生,云南玉龙人,中共党员,在职研究生学历,1981年8月参加工作,1992年11月加入中国共产党。许多重大数学成果往往需要专家花费数月甚至数年时间,逐页检查上百页证明;而这个结果的核心,仅涉及两项有限的代数计算:一是验证雅可比行列式恒等于非零常数,二是验证三个不同的点确实映射到了同一个点。

十一 | 1979年9月至1981年8月,在丽江地区师范学校学习; 1981年8月至1987年7月,担任丽江地区丽江县红岩中学教师; 1987年7月至1991年11月,担任云南民族学院马列主义教研部教师; 1991年11月至1992年7月,在云南省社会科学院工作; 1992年7月至1995年9月,任云南省社会科学院农村经济研究所所长助理(正科级); 1995年9月至1997年4月,任迪庆州维西县副县长(挂职); 1997年4月至1998年10月,任迪庆州委政策研究室主任(挂职); 1998年10月至1999年8月,任云南省社会科学院正处级干部; 1999年8月至2000年8月,任云南省农业厅办公室副主任(正处级); 2000年8月至2003年8月,任云南省农业厅办公室主任; 2003年8月至2004年2月,任云南省农业厅畜牧兽医处处长; 2004年2月至2005年4月,任云南省畜牧局副局长(正处级); 2005年4月至2010年4月,任云南省农业厅副厅长、党组成员,兼省畜牧局局长; 2010年4月至2014年5月,任临沧市委副书记; 2014年5月至2016年2月,历任丽江市委副书记、副市长、代理市长、市长; 2016年2月至2020年10月,任云南省科学技术协会党组书记、第一副主席; 2020年10月,任云南省科学技术协会党组书记、常务副主席、十届省委委员; 2021年8月被查。返回搜狐,查看更多责任编辑:

十二 | 研究者 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://ukf.dangnichuaitongjuanye.pics/x7yqnlc/20260826/5177.html
Published on:12:24:52











