新闻资讯开云体育这说念题一直静静躺在问题库里-开云「中国内陆」官方网站 更高效、更智能、更环保
梦晨 发自 凹非寺
量子位 | 公众号 QbitAIAI证明数学猜念念，此次来的确了。
OpenAI最新模子GPT-5.2 Pro刚刚沉寂证明了一说念埃尔德什猜念念。
论证经过经菲尔兹奖得主陶哲轩考证建筑，还被评价为“迄今终了最明确的第一类后果（AI主要孝敬）”。
这说念题是埃尔德什问题库中的第281号，由外传数学家保罗·埃尔德什（Paul Erdős）与罗纳德·格雷厄姆（Ronald Graham）于1980年共同提倡，波及同余粉饰系统与当然密度的深层干系。
45年来，这说念题一直静静躺在问题库里，恭候解答。
直到2026年1月17日，一位名叫Neel Somani的掂量者把这说念题扔给了GPT-5.2 Pro。
证明只用到GPT 5.2 Pro
埃尔德什问题网站已收录AI证晴明果。
总共论证在无尽阿德尔整数环上伸开，借助哈尔测度和点态遍历定理，结合紧致性论证完成了从逐点管束到一致管束的跃迁。
按陶哲轩的话说，它是“Furstenberg对应旨趣”的一个变体，这是遍历表面与组合数学交叉限度的尺度器具。
但GPT-5.2 Pro的用法又有些不同，它比时常的论证更依赖伯克霍夫定理。
然则的确让陶哲轩印象长远的不是证明步调自己，而是AI莫得犯错。
让我更骇怪的是它幸免了纰谬，比如极限交换或量词司法的诞妄，这恰是这说念题最容易踩的坑。前几代妄语语模子简直细目会在这些机要之处栽跟头。
为了考证这份证明，陶哲轩亲身最先，把整套遍历论论证翻译成了组合学话语，用哈代-利特尔伍德极大不等式替代伯克霍夫定理，再行走了一遍全部推导。
论断：证明建筑。
一个不测的发现刚直全球参议GPT-5.2 Pro的证明时，一位网名KoishiChan的用户在褒贬区抛出了一个令东说念主不测的发现：
这说念题其实有更简便的解法，何况所需的两个定理早在1936年和1966年就依然存在了。
第一个是达文波特（Harold Davenport）与埃尔德什本东说念主在1936年协作证明的密度管束定理。
第二个是罗杰斯定理，初次发表于1966年的哈尔伯斯塔姆-罗斯专著《序列》第五章。把这两个经典后果拼在沿路，第281号问题简直是凯旋扩张。
这就奇怪了。埃尔德什我方等于1936年那篇论文的合著者，而他在1980年提倡这说念题时，齐没有意志到谜底近在目下。
陶哲轩就此事专门写邮件请问了法国数学家特南鲍姆（Tenenbaum）。
特南鲍姆证明“只消自傲你提到的两个经典后果（达文波特-埃尔多斯定理和罗杰斯定理），问题就能立即取得惩处”，但他也猜度“问题的表述可能在某个模式被转换过”。不外目前莫得东说念主找到任何其他版块的表述，是以只可按原样处理。
更有真理的是，2007年菲拉塞塔、福特、科尼亚金、波默朗斯和余等五位顶尖巨匠在惩处另一说念埃尔德什问题时，一样不知说念罗杰斯定理的存在，直到特南鲍姆教导他们才补上了援用。
陶哲轩欷歔：“罗杰斯定理莫得取得它应有的传播。它只出当今哈尔伯斯塔姆-罗斯那本书里，莫得单独发表，文件援用寥如晨星。梗概这场参议能让更多掂量筛法和同余粉饰的东说念主着重到这个后果。”
最终当今这说念题有了两份证明：一份来自GPT-5.2 Pro的遍历论旅途，一份来自KoishiChan挖出的经典文件组合。
陶哲轩证明两者是“不同的证明”，固然在见识上有些叠加。
怎么评估AI数学的的确得胜率
音问传开后，各路AI模子纷繁被拉来交叉考证。
Gemini 3 Pro暗示证明莫得问题。另一位掂量者用GPT-5.2 Pro反复检查论证细节，AI以为惟一需要补充严格性的场合在第二步，不错用法图引理绕过遍历论凯旋完成。
不外陶哲轩指出这里法图引理的标的用反：我刚教完掂量生测度论，这类纰谬见得太多了。
随后又证明其实是对补集诓骗法图引理，标的没问题，论证建筑。
但陶哲轩同期发出了稳固的教导。他写说念：
评估AI器具的确得胜率时，最大的统计偏差来自横暴的叙述偏差，负面后果简直不会被流露。
淌若某东说念主或某AI公司把器具用在通达问题上但莫得阐述，他们莫得能源叙述这个负面论断；即使叙述了，也不太可能像正面后果那样在酬酢媒体上传播开来。
尽管绝大宽敞荟萃在难度谱系的简便一端，远不成说明中等难度的埃尔德什问题依然插足AI的射程领域。
他保举了Paata Ivanisvili和Mehmet Mars Seven发起的一个开源技俩，系统纪录前沿妄语语模子在埃尔德什问题上的正面和负面后果。
数据显现，这些器具在埃尔德什问题上的的确得胜率轻佻只消百分之一到二。
但推敲到问题库里有高出600说念未解贫苦，这个比例仍然意味着一批数目可不雅且非庸碌的AI孝敬。
参考联接：
[1]https://www.erdosproblems.com/forum/thread/281[2]https://x.com/neelsomani/status/2012695714187325745[3]https://mathstodon.xyz/@tao/115911902186528812XINWENZIXUN
四川红石晶威光电科技有限公司：照亮绿色动力的往日之光开云体育 ### 二、绿色动力管制决策的调动1. **高效力LED时间**：公司建设的LED芯片具有更高的光效比和更长的使用寿命，显赫裁减了能耗和碳排放。2. **智能照明系统**：通过集成传感器和智能胁制时间，罢了灯光的自动退换，不仅升迁了用户体验，也进一步量入为主了动力。3. **可再灵活力整合**：红石晶威积极探索将太阳能等可再灵活力与LED照明息争的可能性，以期达到完满闻鸡起舞的动力轮回。 ### 三、靠近的挑战与应付策略1. **商
优治嘉炉在处分垃圾的流程中无需任何动力，中枢部件使用寿命为十年，且流程中无需特等爱戴和保重，属于一次性参加长久受益。现在箝制，我公司（垃圾烧毁炉）还是在农村、山区、草原等偏远地区受到了平庸哄骗体育游戏app平台，况兼收到了巨大使用者的好评。 这种建立不错达到国度的排放圭臬，整套烧毁炉建立占大地积小，操作通俗，烧毁遵循好，尽头顺应在州里试验和使用，约略将固废垃圾快速焚烧，将垃圾更始为无害的灰烬，将毁灭物品更始为动力，减少了垃圾的体积，收缩了垃圾处分压力。 现在该建立已投放至内蒙、新疆、北京、天津
废离子交换树脂的回收与再专揽 离子交换树脂是一种世俗应用于水处理、制药、食物加工等行业的伏击材料。相关词，跟着使用时期的增长，树脂会逐渐失去其交换智商，成为废离子交换树脂。何如灵验回收和处理这些废树脂，不仅关系到资源的合理专揽，还对环境保护具有伏击意旨。 1.废离子交换树脂的开端与分类 废离子交换树脂主要开端于工业分娩流程中的摈弃物。把柄其性质和使用情况，可分为失效树脂和摈弃树脂两类。失效树脂是指在使用流程中因交换智商下跌而不再餍足分娩条目的树脂；摈弃树脂则是指在分娩流程中因各式原因被径直淘汰
1月2日开云体育(中国)官方网站，陕西省铜川市2025年一季度重心阵势采集开工典礼在中国能建陕西铜川350兆瓦压缩空气储能电站阵势现场举行。 中国能建陕西铜川350兆瓦压缩空气储能电站阵势位于陕西省铜川市耀州区，是陕西省首座压缩空气储能电站阵势。阵势选定自主研发的“中国能建压缩空气储能系统贬责决策”，总投资约24亿元，储能容量达1400兆瓦时，储能6小时，释能4小时，权谋岁首始天数达330天，年最大发电量约9.24亿度。阵势选定的透平机、压缩机为当今世界畛域内正在施行的单机容量最大、参数最高的
2025年1月1日，长城汽车旗下的坦克品牌发达推出了坦克500 Hi4-Z，成为新年第一款发达上市的新车型，其另类涂装的“一定红”版块也同步同价发售。 外不雅上，坦克500 Hi4-Z不竭了坦克品牌大气磅礴的想象作风，粗壮的镀铬条勾画出刚直的前脸轮廓，搭配经典的圆形大灯，彰显出硬派越野特有的气质。车身侧面线条硬朗通顺，大尺寸轮毂与优容的轮眉井水不犯河水，结合车尾的外挂式备胎，不仅进步了车辆的通过性，更在视觉上强化了其越野性能。 据悉，坦克500 Hi4-Z领受了长城汽车专为越野车建造的三元锂电
官方网站
关注我们
联系地址