给 AI 谈数学推测唐山管道保温施工队，它先沟通的尽然是：奈何把它翻找反例！！
这番听着些许有点数学界反骨的判断，正出自 1998 年菲尔兹得主、英国数学 Timothy Gowers。
近 Gowers 老哥闲来事把这几个月 AI 震憾的数学战绩往桌上摊，发现了件画风非凡统的事儿——
雅可比推测，找反例。
Erd ő s 单元距离推测，找反例。
非 sofic 群问题，构造个昔日没东谈主找到的例子。
多 Ramsey 数问题，中枢依旧是构造出闲逸要求的新对象。
东谈主类数学：这个论断到底为什么建造？
AI：先等会儿，你这论断……真建造吗？（身反骨 .jpg）
是以，问题来了。
为啥 AI 们碰上数学推测，就这样往反例堆里钻啊我说！？
AI 近出圈的数学冲破，都在"找反例"
先说个大比拟容易搞混的点。
Gowers 这里提到的「找反例」和学生期间学过的「反证法」，其实还真有亿点点分袂。
咱们上学时学的反证法，是种确认期间：先假定论断不建造，再路，直到撞出矛盾，由此确认原命题建造。
Gowers 这里说的「找反例」就直给多了——
比如有东谈主提议：悉数闲逸 A 的对象，都具有 B 质。
那 AI 只需要从大堆对象里薅出来个，它明明闲逸 A，偏巧等于莫得 B。
完。
整条推测就地寄。
也真不怪 Gowers 会贯注到这个规则。
主要吧，近 AI 震憾的几场数学冲破，还真有不少都是这样干出来的。
就拿上个月 OpenAI 里面模子处分的 Erd ő s 单元距离问题来说唐山管道保温施工队。
近 80 年里，数学界围绕它酿成了个持久被平淡确信的增长判断，许多连系责任的念念路，也都是冲着奈何把这个判断确认出往复的。
罢休 AI 上来，画风平直 180 度大拐弯。
东谈主没急着顺着东谈主类几十年的念念路路往前拱，反倒花了无数理预算沟通另件事儿——
有莫得可能，平直给这个判断找个反例？
后它真找到了，模子把底本属于代数数论的套器用搬进破碎几何，用加复杂的数域构造出整族点集，使单元距离对的数目以此前预期以外的速率增长。
个流传数十年的判断，就这样被个具体构造平直《击穿》。
有趣味的是，数学们自后去翻其理轨迹，发现它无数时辰确切都花在尝试各式构造、寻找反例上。（doge）
这事儿才昔日没多久，Claude 又给「AI 非凡会拆推测」这件事狠狠干了次实锤。
数学 Levent Alp ö ge 借助 Claude，找到了雅可比推测相关问题中的反例。
这类恶果有反差感的地就在这儿，AI 后并不需要铺开套死灰复燎的正面确认，只需要把阿谁非常对象端上来，然后逐项检讨——
前提，闲逸。
论断，失败。
那这个推测基本就不错收工了。
到了 Gowers 这里，他再回头看 OpenAI 近公布的 10 项数学恶果，也发现了近似的滋味。
比如持久悬而未决的「是否悉数群都是 sofic 群」问题，AI 给出的冲破式等于平直构造出个非 sofic 群。
再比如多 Ramsey 数的进展，天然后呈现出来的是严格的下界确认，但通盘冲破历程依然带着非凡强构造味：
你得先找到那些富足非常、富足顽恶的组合对象，后头的确认才有地落脚。
于是个越来越明的规则冒出来了。
面前 AI 容易作念出大动静的数学问题，许多其实都不错被压缩成句非凡机器友好的话——
"有莫得这样个东西？"
如若谜底确切是有，那模子擅长的那套法就运行判辨作用了。
狂搜索，跨域搬器用，重组现成期间唐山管道保温施工队，反复试构造，再从宏大的数学对象空间里把阿谁东西硬薅出来。
是以，AI 简直擅长的并不仅仅大字面上相识的反证。
准确地说，它当今尤其擅长类数学任务：在个大到东谈主类压根不可能穷举的空间里，找到阿谁照实存在，但直没东谈主找到的非常对象。
AI 为啥可爱在这种题里找反例？
问题来了，那么，为啥 AI 偏巧热衷于给数学推测找茬啊？？？
Gowers 给出的解释其实相当朴素，大模子脚下至少有两个肉眼可见的势。
，知谈得多。（doge）
如若谈题的冲破口藏在某个已罕有学器用、某个相邻域，或者某种东谈主类很少顺遂搭在起的期间组合里，大模子很有契机平直把它们从我方的学问仓库里翻出来。
单元距离问题就口舌常典型的例子。
要知谈这个问题持久属于破碎几何和组合数学语境，铝皮保温而 AI 找到的冲破却借用了偏代数数论的器用。
对于东谈主类来说，这种跨域提升偶而需要某个连系者适值同期懂双方。
对于模子来说，两个域都也曾躺在高下文和历练学问里，组合老本低不少。。。
二，试得起。
OpenAI 近公布的 10 项数学与表面计较机科学恶果，找到些 AI 找数学反例耗尽的一皆 Token，按 API 价钱折算也就「数千」好意思元。
换句话说，许多对东谈主类数学来说得手率太低，不值得几个月的道路，AI 不错放开了试！！
Gowers 在著作里也门盘了遍，数学平时到底是奈何找例子、找反例的——
轻视的种，等于先拿那些《》经典对象挨个测。
比如你提议个对于布尔函数的推测，先拿几个测试样本去验：
裁函数、多数函数、奇偶函数、tribes 函数……如若这些都过了，再谈别的。
二种是组装，从基础对象开赴，取积、取商、取限，换个构造式，再看能弗成得追忆要的质。
还有马上法，式构造太难，就从某个分散里马上挑对象，确认概率它闲逸你的要求。
再有种渐渐贴近法，先写个或者不太对的候选谜底，不是因为以为它能成，而是想不雅察它究竟错在哪。修个劣势，得回二版；再修，得回三版。。。
前边那些无数试对象、换构造、马上搜索的玩法，都非凡合乎大模子，学问库够大、速率够快、失败老本又低，真有可能靠海量尝试把谜底撞出来。
但越往后，就越训练种很难写进公式里的智商：走到中途，你能弗成闻出来这条路到底有莫得戏。
Gowers 把它叫作数学的「鼻子」。
个简直强横的连系者，不是永远不走错路，而是能在搜索树刚长出堆分叉时，飞快掉 99 的枝条，只保留值得干涉的那几根。
偏巧这件事，面前 AI 还频频干得有点喜感，比如 Gowers 和 AI 接头灵通问题时，就常遭受种窘态体验——
AI 会提议听起来很有长进的案，细想后却没那么可靠，AI 还很说：天然没解出原题，但我把问题减弱成了个精准的子问题～
次听，照实很隆盛哈。
但五次还停在不同版块的精准子问题，东谈主类数学或者就要运行犯嘟囔了：这到底是在贴近谜底，如故把迷途描写得越来越雅合手？
这亦然 Gowers 莫得把 AI 神化的原因。
他并不认为东谈主类会永远保住这项势，相背，他明确瞻望模子会接续快速提升，以至两年内就可能长出强的鼻子。
仅仅脚下，AI 的果断还像广度先：平淡调用已有学问、平淡探索可能旅途、在海量尝试中碰到解法。
后有趣味的是，Gowers 给 AI 简直进入顶数学创造阶段，设下了个相当纵欲的验收步履——
AI 哪天给出的解法，不光把题作念出来了，还能冒出种大从没想过的新法。
妙的是，这法回头看又非凡顺，以至能被其他数学接着拿去作念出串新恶果。
到了那步，AI 完成的事情，就也曾远远出从宏大搜索空间里把谜底薅出来。
AI 在数学界的身份，可能才确切变了。
参考流畅：
[ 1 ] https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/
键三连「点赞」「转发」「注意心」
原谅在驳倒区留住你的方针！
— 完 —
� � 点亮星标 � �
科技前沿进展逐日见联系人：何经理相关词条:罐体保温 塑料挤出设备 钢绞线 超细玻璃棉板 万能胶
1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。
