IT之家 6 月 3 日消息，据央视新闻今日报道，中国科学院遗传与发育生物学研究所许操研究员带领的科研团队历经八年持续攻关，成功攻克作物花期冷害这一长期困扰全球农业的难题。相关研究成果于 6 月 3 日在线发表于《自然》。 受全球气候变化影响，“倒春寒”“早霜冻”“寒露风”等突发性低温天气日益频繁。作物花期对低温极为敏感，短短几天的低温便可能引发花粉败育、无法结实，导致主粮作物减产幅度达 20% 至 60%，各类果树减产约 20% 至 50%。据测算，仅 2024 年我国农作物因冷害受灾面积就达 1400 万亩，直接经济损失 256.2 亿元。长期以来，花期冷害防控主要依赖灌水、熏烟、覆盖等被动防御手段，成本高昂且效果有限，灾后剪枝、追肥等补救措施也无法挽回核心产量损失。传统育种筛选出的持续抗冷基因虽然在常温下也能激活耐冷机制，却会空耗大量能量，导致作物“高产耐冷不可兼得”。 针对上述困境，许操团队转换研究思路，综合运用传感技术、多维组学、基因编辑和人工智能等前沿手段，在真实农田环境中成功发掘出小肽基因 RGF。 该基因仅编码 13 个氨基酸残基的短肽，在正常温度下几乎不表达，对作物生长发育没有可见影响，成功避免了能量空耗问题。一旦遭遇低温胁迫，它便会在花粉发育关键的四分体时期，于花药绒毡层细胞中快速激活。 其信号机制是：低温诱导表达的 RGF 小肽被分泌到细胞外，由花药细胞膜表面的受体激酶和共受体识别并形成受体复合体，进而激活环核苷酸门控离子通道，引发细胞内钙离子浓度快速升高，精确调控花药绒毡层按时降解，确保花粉在低温条件下仍能正常发育。这种“平时深藏不露，冷害挺身而出”的独特表达模式，使作物具备了“按需抗逆”的能力。 多年多点作物测产试验证实了该基因的应用价值。在番茄种植中，RGF 基因可挽回 33.9% 至 52.2% 的冷害产量损失；对主栽高产水稻品种进行改良后，可挽回约 18% 的低温减产损失。 在大棚低温环境下，普通番茄坐果率仅为 28.7%，而经过 RGF 基因改良的番茄坐果率稳定在 51%。改良水稻在低温下结实率提升 10% 至 25%，且正常年份产量不受影响。目前，该技术已逐步拓展应用于大豆、玉米等作物的抗冷改良工作。 该研究打通了从分子机制解析到田间落地应用的全链条，破解了作物“高产耐冷不可兼得”的困局，实现作物从“持续抗逆”向“顺境高产、逆境稳产”的转变。这一突破不仅为拓展作物种植区域、开发新型粮食产区提供了全新理论依据与育种路径，也为国家粮食安全提供了重要的科技支撑。 IT之家附论文链接： https://doi.org/10.1038/s41586-026-10603-7
在 2026 年台北国际电脑展（Computex 2026）上，英特尔宣布推出全新的 OpenVINO 物理 AI（Physical AI）框架，并与其最新的 Core Ultra Series 3 处理器结合，旨在解决物理 AI 和机器人系统在大规模部署上的关键难题，降低总体拥有成本并提升系统效率。 英特尔表示，此前在落地物理 AI 时，企业往往需要为每一台机器人定制复杂的处理流程，以对接不同的传感器、编解码器以及推理循环，这种高度定制化导致部署成本高企、维护难度增加，并迫使客户采用更昂贵的双计算解决方案，从而推高总拥有成本（TCO）。借助新发布的 OpenVINO 物理 AI 框架和 Core Ultra Series 3 CPU，英特尔试图以统一的软硬件栈填补这一“缺失的环节”，在其口径中，这将显著降低 TCO，并大幅提升代码效率，使物理 AI 在边缘侧的大规模应用变得更为可行。 英特尔在发布会上解释称，所谓“物理 AI”，是指将 AI 能力与机器人、自动驾驶车辆、无人机、工业机械等实体系统结合，使其能够感知周围环境、做出决策并在现实世界中执行动作。与只产生数字输出的传统 AI 不同，物理 AI 将 AI 模型直接连接到传感器和执行机构，使机器能够在真实场景中持续适应变化、实现一定程度的自主运行，而这类系统通常依赖视觉-语言-行动（VLA）模型来完成跨模态感知和决策。 由于物理 AI 需要对来自摄像头、雷达以及各类传感器的数据进行实时处理，边缘计算在这一领域被视为必不可少的基础设施。英特尔指出，相比将数据回传至远端云端处理，在本地进行推理不仅能显著降低延迟、节省带宽、改善隐私保护，还能帮助物理设备在高度动态、复杂甚至潜在危险的环境中即时响应，从而提高安全性和可靠性。 在具体实现路径上，英特尔强调，新的 OpenVINO 物理 AI 方案与其基于 Panther Lake 架构的 Core Ultra 300 系列与 Core Ultra Series 3 产品线深度结合，这一代处理器此前已在 2026 年初的 CES 上首次亮相，并于同年 3 月在面向企业移动平台上进一步落地。通过在同一平台上集成通用计算、AI 推理和边缘控制能力，英特尔希望为机器人及其他物理 AI 设备提供标准化、可扩展的开发与部署路径，减少对外部专用加速卡或第二套计算平台的依赖。 英特尔还展示了一张对比图，声称在中等规模 VLA 模型等场景下，其方案在成本、性能或整体价值方面，相较英伟达 Jetson AGX Orin 和 Jetson Thor T5000 等机器人平台具有一定优势，不过具体测试参数和方法在会上并未被详细披露。英特尔官方的表述是，通过统一栈和软硬件协同，其在相同或相近负载下可以为机器人开发者和企业提供更好的性价比，同时缓解多平台并行带来的维护压力。 从趋势上看，随着物理 AI 在工业制造、物流配送、仓储管理以及自动驾驶等领域的应用不断扩展，如何在边缘侧实现安全、稳定且具成本优势的规模化部署，成为产业链参与者共同面临的挑战。英特尔此次以 OpenVINO 物理 AI 框架为核心提出一整套软硬件方案，也被外界视为其在边缘 AI 与机器人平台领域继续与竞品正面竞争的信号，不过相关生态能否快速成熟，以及与现有机器人开发工具链的兼容性表现，仍有待后续观察和实际落地案例的检验。 查看评论
IT之家 5 月 26 日消息，特斯拉向美国专利商标局（USPTO）低调提交的一份专利文件显示，该公司终于攻克了迄今为止面临的一大技术难题：干法正极。 据IT之家了解，目前绝大多数电池的正极，都需要采用成本高昂的湿法浆料工艺生产，而负极则早已应用工艺更简便的干法涂布技术。近三年来，特斯拉一直在公开研发干法正极技术，旨在简化这个电池核心部件的生产流程、降低制造成本。 2026 年初，特斯拉又一项干法正极相关专利正式公布。该专利证实，其已成功实现全干法正极的工业化量产，并将这项技术应用于最新版本的 4680 电池。 干法正极实现量产的最大阻碍来自材料本身。干法正极粉末质地脆硬、磨损性强，若不借助有毒液态溶剂，根本无法高速涂布在金属箔片上。 特斯拉最新公开的专利（专利号：US 2025/0364562），披露了研发团队突破这一瓶颈的技术方案。该专利介绍了一种复合粘结剂体系，将聚四氟乙烯（特氟龙）与聚偏氟乙烯（PVDF，高耐受性特种材料）等稳定性更强的聚合物相结合。 这种复合粘结剂经高剪切气流研磨处理后会发生裂解，形成微观蛛网结构。该结构无需任何溶剂，就能依靠机械作用力将电极活性颗粒牢牢结合，最终制成柔韧且可自支撑的电极薄膜。 特斯拉同时对颗粒尺寸进行了优化：选用更大粒径的活性颗粒，以此降低整体比表面积。这一设计让粘结剂总占比控制在 2% 以内，保障锂离子正常传导，电池性能不受影响。 除了材料配方优化，该专利还解决了此前制约 4680 电池项目推进的生产速度难题。在早期研发阶段，仅使用纯聚四氟乙烯材料时，原料需要经过高压辊压机反复碾压十次，才能成型为可用薄膜，这样的效率完全无法满足车企大规模生产的需求。 特斯拉表示，采用全新复合粘结剂后，原料仅需三次碾压即可形成完整电极薄膜。碾压工序大幅精简后，生产效率直接提升至原先的三倍。 此次技术突破带来了显著的经济效益与生产优势。传统湿法浆料工艺需要布设数百米长的高能耗烘干炉，以及造价不菲的溶剂回收设备。 省去上述工序后，特斯拉电池工厂的占地面积最多可缩减 50%。生产测算数据显示， 淘汰湿法工艺后，电池产线的设备投入降低超 40%，电极整体生产成本近乎减半。 性能测试结果表明，降本并未牺牲电池品质：采用干法工艺的电池在完成 2000 次充放电循环后，仍能保留约 90% 的初始容量。 这项技术突破早已走出实验室。在 2026 年 1 月举行的 2025 年第四季度财报电话会议上，特斯拉确认得州超级工厂已正式量产这款全干法电极电池。特斯拉 4680 电池副总裁邦妮・埃格尔斯顿也宣布，目前电池正、负极均已全面采用干法工艺。 这批第二代 4680 电池现已装配于奥斯汀工厂生产的部分 Model Y 车型。按照规划，2026 至 2027 年间，该技术还将逐步全面应用于 Cybertruck、CybercabSemi 电动半挂卡车。
IT之家 5 月 26 日消息，谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证， 在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。 IT之家注：Lean 是一种形式化证明语言和证明助手系统。研究者可以把数学命题、定义和证明步骤写成严格可检查的代码，编译器会逐步判断每一步是否合法。 Erdős 问题（Erdős problems）是由 20 世纪最高产的匈牙利数学家保罗 · 埃尔德什（Paul Erdős）提出的一系列数学猜想和问题，涵盖组合数学、数论、图论和几何等领域。 根据谷歌论文内容，AlphaProof Nexus 在 353 个开放的 Erdős 问题中解决了 9 个，其中 2 个问题已悬而未决 56 年。 AlphaProof Nexus 还在 OEIS（整数序列在线百科全书）的 492 个开放猜想中证明了 44 个，解决 1 个存在 15 年的 Hilbert 函数问题，并改进了凸优化中的已知界限。每个问题的推理成本只要数百美元。 在架构方面，AlphaProof Nexus 由 4 个复杂度递增的 AI 智能体组成： Agent A 只依赖 Gemini 3.1 Pro 与 Lean 编译器循环交互。 Agent B 接入 AlphaProof，补全缺失证明片段。 Agent C 加入类似 AlphaEvolve 的进化机制，让多个证明草稿共享、评分、排序。 功能最完整的 Agent D 则整合了上述能力。 原本用于攻克 Erdős 问题的是 Agent D，但研究者发现，最简单的 Agent A 其实也能证明这 9 个已解问题，只是在最难题目上花费更高。 研究团队认为，这反映出 2 点变化：底层模型能力持续提升，以及编译器反馈对 LLM 推理的“锚定”作用越来越强。 IT之家附上参考地址 Advancing Mathematics Research with AI-Driven Formal Proof Search AlphaProof Nexus 结果 相关阅读： 《 AI 推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题 》
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
之前的互联网革命是提高人类信息流通效率，有成本边际递减效应，开发一个网站用的人越多成本越低。 AI 完全没有这种效用提升，用的人越多成本越高，无尽的吞噬掉芯片、电力，搞得现在普通人配个电脑都配不起。
IT之家 5 月 21 日消息，OpenAI 称其全新推理模型推导出了一个原创数学证明，推翻了几何学中一道著名的未解猜想。该猜想最早由保罗・埃尔德什于 1946 年提出。 IT之家注意到，OpenAI 已不是第一次放出这般大胆的言论。七个月前，这家人工智能巨头前副总裁凯文・韦尔在社交平台 X 上发文称：“GPT-5 攻克了 10 道此前悬而未决的埃尔德什难题，还在另外 11 道难题上取得了研究进展。” 但事实证明，GPT-5 其实并未真正解开这些难题，它只是找出了早已收录在学术文献中的现成解法。 此举随即引来杨立昆、谷歌 DeepMind 首席执行官德米斯・哈萨比斯等业内同行的嘲讽，韦尔也很快删除了这篇言之过早的推文。而如今看来，OpenAI 至少没有重蹈覆辙。在发布相关消息的同时，该公司还附上了多位数学家的佐证言论，其中包括诺加・阿隆、梅兰妮・伍德，以及运营埃尔德什难题专题网站、此前直言韦尔发文内容严重失实的托马斯・布鲁姆。 OpenAI 在 X 平台发文表示：“近八十年来，数学家们始终认为最优解的形态大致趋近于正方形网格结构。如今 OpenAI 模型推翻了这一固有认知，发现了一类表现更为优异的全新构造体系。” 该企业表示，这是人工智能首次自主攻克某一数学核心领域内的重大未解难题。据 OpenAI 介绍，这份证明由一款全新通用推理模型得出，并非专门为解决数学问题、甚至专门针对这道难题量身打造的专用系统。 OpenAI 认为此次突破意义重大，这意味着如今的人工智能已经具备更强能力，能够梳理冗长复杂的逻辑推理链条，还能以科研人员此前未曾设想的方式打通不同学科领域的知识关联，这一成果将对生物学、物理学、工程学以及医学领域产生深远影响。 布鲁姆在一份声明中说道：“人工智能正助力我们全方位探索数百年来人类搭建起的数学知识殿堂，还有多少未曾发掘的精妙奥秘，正静待世人发现？”
IT之家 5 月 18 日消息，特斯拉首席执行官埃隆 · 马斯克于当地时间周一通过视频连线出席了特拉维夫智能出行峰会，马斯克在峰会上透露，旗下航天企业 SpaceX 即将研发完成可复用火箭发射系统，这项技术突破将大幅降低太空航行成本。 “我们今年有望攻克这项技术。”他说道，“该技术问世后，将成为人类文明发展的重要转折点，助力人类迈入星际文明时代。” IT之家注意到，马斯克还提到，今年晚些时候，他的脑机接口公司 Neuralink 将首次使用其“盲视（Blindsight）”植入设备进行植入手术，帮助先天失明或视力受损的人重见光明。 他表示：“初期设备仅能让使用者获得有限视力，长期使用后有望实现高清精准视觉，甚至远超常人的超强视觉。”他还补充，公司同时在研发相关技术，助力瘫痪人群重新站立行走。 马斯克认为，大约十年后，人形机器人将会遍布各地；凭借机器人带来的高效生产力，社会或将实现全民高收入，推动经济稳步增长。
IT之家 5 月 14 日消息，中山大学在今晚宣布，今天下午在广东阳江海陵岛，银色机身的“逸仙-3 号”火箭升至预定高度后稳稳悬停，随后微微调整姿态开始减速下降，着陆在白色圆环靶心。 整个过程只有 30 秒钟左右，但每个环节完全按照原计划完成，试验圆满成功 。 据介绍，这枚“逸仙-3 号”火箭高 4.5 米、直径 0.6 米、重量约 1 吨，在动辄数十吨的运载火箭家族里显得有些“娇小”。中山大学表示， 这是国内首枚由高校主导研制的面对称可回收液体火箭 。中大师生团队共同攻克火箭垂直起降关键技术，实现了低空飞行。 IT之家注：“逸仙-3 号”要完成的任务，在航天领域有一个专门的缩写：VTVL，即垂直起飞、垂直着陆（Vertical Takeoff, Vertical Landing）。这是可重复使用火箭的核心技术 —— 它决定了火箭能否在完成任务后安全返回地面，经过检修再次发射。 “逸仙-3 号”项目于 2025 年 1 月正式启动，该火箭采取面对称设计，其研究的是二子级回收火箭的重复使用技术，难度比一子级更高。而在这枚火箭的研制中，有很多学生参与了进来，其中 10 位学生发挥了重要作用，包括 5 名本科生、5 名研究生。 另外，本次试验火箭由中山大学、深圳驭龙航天科技有限公司等联合完成设计、研发与关键部件集成制造。 项目实现了在大湾区域内全产业链条闭环 ，显著缩短了研发周期、降低了试验成本。
应用材料公司宣布，与长期合作伙伴台积电达成创新伙伴关系，将在其位于美国硅谷、总投资高达50亿美元的EPIC（Equipment and Process Innovation and Collaboration）中心共同开发面向新一代人工智能时代的半导体关键技术。 双方将在这一中心围绕材料工程、设备创新以及工艺集成展开协同研发，目标是在从云端数据中心到终端设备的全链路上，实现更高能效的芯片性能。 应用材料总裁兼首席执行官 Gary Dickerson 表示，公司与台积电在先进半导体技术前沿拥有超过30年的深度合作，此次在EPIC中心“同场创新”，将有助于双方更快应对制程路线图上前所未有的复杂性，加速将突破性技术从早期研究推向大规模量产。 台积电执行副总裁兼联席首席运营官魏哲家则指出，随着每一代半导体器件架构不断演进，材料工程和工艺集成的难度持续攀升，而要在全球范围满足AI算力的爆炸式需求，需要产业链范围内更紧密的协作。 他强调，EPIC中心为加速新一代设备和工艺的成熟提供了理想环境。 根据双方介绍，通过EPIC中心的合作，应用材料与台积电将聚焦当前先进逻辑工艺在继续“缩小、堆叠与提效”过程中面临的一系列关键挑战。 重点方向包括：一是开发能够在领先制程节点上持续提升功耗、性能与面积（PPA）的新型工艺技术，以支撑AI和高性能计算对芯片提出的更高要求；二是引入新材料和新一代制造设备，实现对复杂3D晶体管与互连结构的精确构建；三是通过先进工艺集成方案提升良率、改善工艺波动控制与可靠性，为向垂直堆叠和极致缩放架构演进打下基础。 EPIC中心被称为迄今美国在先进半导体设备研发领域最大单笔投资，整体规划旨在显著压缩从实验室到量产工厂的技术转化周期。 中心预计在今年具备运营能力，其设施从设计之初就针对“从早期研发快速走向量产验证”这一目标进行优化。 对于包括台积电在内的晶圆厂客户而言，EPIC中心将提供更早接触应用材料研发组合的机会，加快试验迭代速度，并在安全可控的协同环境中，加速将下一代技术导入高产能生产线。 应用材料方面表示，通过EPIC中心的共创模式，公司不仅能够为合作伙伴带来更高的研发效率与价值共享，还可以获得更长周期、多工艺节点的前瞻视角，以更有针对性地布局内部研发资源。 在AI推动下，芯片向复杂3D器件和互连结构演进的趋势愈发明确，业内普遍认为，如何跨越被称为“3D晶体管墙”的技术门槛，将在很大程度上决定下一阶段AI芯片性能与能效的上限。 此次应用材料与台积电在EPIC中心的合作，被视为产业链在这一方向上的重要布局之一。 查看评论
IT之家 5 月 12 日消息，上海人工智能实验室（上海 AI 实验室）昨日发文，联合厦门大学、苏州国家实验室等合作单位基于“书生”科学大模型与“书生”科学发现平台，构建了“AI 决策 + 自动化合成”的闭环研发体系， 实现了高纯度、高一致性、高效率的 KrF（氟化氪）光刻胶树脂创制 。 官方表示，这一突破使高端光刻胶树脂的稳定制备 不再依赖于极少数国外供应商的“黑箱能力” ，为全球芯片材料领域探索出一条可标准化、快速迭代的新路径。相关公司基于光刻胶配方开发经验，完成了树脂适配， 产业关键指标均达预期 ，后续将进入客户端验证阶段。 ▲ 光刻胶树脂自动化制备 IT之家获悉，长期以来，高端树脂材料开发受制于“经验驱动”的试错路径，科研人员需在数以千计的单体配比、聚合体系及反应条件中进行逐一筛选，这种低密度的实验范式导致研发周期动辄以月为单位，且极易受人为操作误差影响， 难以满足成熟制程对材料批次稳定性的严苛要求 。 联合团队研发了面向先进材料光刻胶树脂设计的智能化合成平台：采用高度模块化并行架构，依托多反应器、多工作站协同布局，实现了从液体精准转移、惰性气氛保护到多级自动化后处理的全流程闭环运行；搭载精密三轴伺服控制与全密封加液技术，从源头规避因人工操作暴露带来的氧气、水汽及金属杂质污染问题，可将成品树脂金属杂质含量稳定控制在 10ppb 以下，同时严格把控分子量分布，PDI 指标稳定控制在 1.3 以下。 AI 模型生成光刻胶树脂合成实验方案，经 SCP 协议转化为自动化平台指令，并在物理实验室中完成高通量的合成与表征任务；实验产出的分子量、热稳定性等关键数据自动回传 AI 模型，驱动算法优化下一轮方案， 实现研发体系自我进化 。基于此循坏，研发团队在光刻胶树脂分子量稳定性、Tg 耐热指标等关键领域取得阶段性进展，成功实现从“经验主导”向“数据驱动”的转型，为光刻胶产业突破技术瓶颈提供了全新路径。
IT之家 5 月 7 日消息，Alphabet Inc.旗下的人工智能实验室 Google DeepMind 本周三发布公告， 宣布收购 Fenris Creations 少数股权，并将在《星战前夜》（Eve Online）游戏中训练 AI。 IT之家注：《星战前夜》是一款大型多人在线游戏，由冰岛工作室 CCP Games（现更名为 Fenris Creations）开发，于 2003 年 5 月 5 日发行。游戏设定于科幻太空场景中，玩家驾驶各式自行改造的船舰在超过七千个行星系中穿梭。 Fenris Creations 此前刚完成自我回购，该公司以 1.2 亿美元现金及加密货币的价格，从韩国游戏开发商 Pearl Abyss 手中赎回自身，该价格不足 2018 年收购价的一半。 DeepMind 高级总监 Adrian Bolton 表示，《星战前夜》对 AI 技术提出了独特挑战， 游戏要求玩家具备长期策略规划能力，这正是当前 AI 研究的薄弱环节。 这款运营了 23 年的游戏以其高度复杂的社会模拟著称。玩家在游戏中驾驶飞船、组建公司、进行贸易等，形成了一个拥有高度自主权与政治博弈的虚拟社会。这种环境为 DeepMind 研究复杂社会交互提供了理想的数据源。 为确保研究不影响现有玩家体验， DeepMind 初期将在隔离服务器上进行行为研究，游戏方也将利用研究成果优化游戏体验。
据《科学美国人》4月24日报道，23岁的业余数学爱好者利亚姆·普赖斯在没有接受高等数学系统训练的情况下，借助ChatGPT Pro中可用的最新大语言模型，意外推动解决了一道困扰数学界约60年的埃尔德什问题，这一进展已引起多位知名数学家的高度关注。 报道称，这项成果之所以格外受重视，不仅因为相关问题曾让多位顶尖数学家久攻不下，更因为AI给出的证明思路并非对既有套路的简单复述，而是引入了一种此前无人想到可用于此类问题的方法。 此次被解决的问题，讨论的是一种被称为“原始集合”的特殊整数集合。 所谓原始集合，是指在同一个集合中，任意一个数都不能被另一个数整除；从这个意义上说，它把“素数不可再分”的性质，从单个数字推广到了整个数字集合层面，因此与素数有密切联系，任何素数集合天然都属于原始集合。 匈牙利传奇数学家保罗·埃尔德什曾为这类原始集合定义一个“埃尔德什和”，可以理解为衡量集合某种“权重”或“得分”的指标。 他此前已经证明，这个和的最大值大约为1.6，并猜想所有素数组成的无限集合也恰好达到这一上界；斯坦福大学数学家贾里德·利希特曼已于2022年在博士论文中证明这一猜想成立。 但更难的一道相关猜想是：当一个原始集合中的数都变得非常大时，它的这个“得分”会不断下降，而其理论上的最低极限应当正好是1。 也就是说，这道题要证明的是，随着集合元素趋向无穷大，这个分数会逼近1，而且1正是不能再低的下界。 报道指出，利希特曼本人也曾尝试证明这一猜想，但与此前其他研究者一样未能成功。 普赖斯则表示，他最初并不了解这道题的来龙去脉，只是在一个普通的周一下午，像平时那样把埃尔德什问题随手输入ChatGPT，看看模型能否给出思路，结果AI返回了一份“看起来是正确的解答”。 随后，普赖斯把结果发给了自己的合作伙伴凯文·巴雷托，后者是剑桥大学数学专业二年级本科生。 两人此前已因把公开的埃尔德什难题随机投喂给ChatGPT而受到关注，一名AI研究者后来甚至向他们赠送了ChatGPT Pro订阅，以支持他们这种带有实验性质的“氛围数学”尝试。 巴雷托在审阅这份结果后意识到事情并不寻常，随后通知相关专家，而学界很快对此作出反应。 加州大学洛杉矶分校数学家陶哲轩表示，过去研究这道题的人几乎都会沿着一套相对标准的起手路径展开推导，但这次大语言模型走的是完全不同的路线。 报道称，AI调用了一个在相关数学分支中早已为人熟知的公式，但此前从未有人想到可将其应用到这种问题上。 陶哲轩认为，这说明人类研究者在最初方向选择上可能集体出现了某种“思维偏置”，从而错过了一条实际上更直接的突破路径。 不过，专家也强调，ChatGPT最初输出的证明文本本身并不算成熟。 利希特曼表示，原始输出的质量其实“相当差”，必须由专业数学家进行梳理、筛选和重写，才能真正理解其想表达的核心逻辑。 目前，他与陶哲轩已经把这份证明压缩整理成更清晰的版本，以更准确地提炼AI方案中的关键洞见。 比起“这道题被做出来了”本身，数学界更看重的是这次AI似乎打开了一条新的思考通道。 陶哲轩表示，这项工作可能意味着研究者发现了一种理解“大数及其内部结构”的新方式，而这种连接未来或许能迁移到更广泛的问题中；不过，这一突破的长期意义究竟有多大，目前仍需时间检验。 利希特曼则认为，这一结果印证了他自研究生时期以来的直觉——不少相关问题之间也许本就存在某种共同结构，而ChatGPT此次提出的新方法，恰恰为这种统一性提供了新的证据。 查看评论
IT之家 4 月 13 日消息，星梭科技今日宣布，其自主研制的猛犸一号（MM-1）全流量补燃循环发动机研制工作近日取得重要里程碑节点。 ▲ 星梭科技“猛犸一号”全流量补燃发动机燃烧性能试验现场 据介绍，该型号发动机的推力室与富燃预燃室顺利完成了专项燃烧性能热态试验， 试验取得圆满成功 ，为发动机燃烧装置的最终设计定型奠定了基础。此次试验获得的关键数据，将为猛犸一号（MM-1）发动机燃烧装置的优化设计与性能评估提供实证支撑。 另外，基于本次试验的优异成果，猛犸一号（MM-1）发动机首台样机的研制工作已正式跨越核心组件验证关口，即将转入全面投产快车道， 整机试车同步进入倒计时阶段 ，这标志着该型号发动机的工程化研制进程全面提速。 IT之家查询获悉，猛犸一号（MM-1）是由星梭科技自主研发的大推力液氧甲烷全流量补燃循环发动机，推力、比冲等性能相比国内现有商业火箭发动机大幅提升，并有望率先实现工程应用， 整体技术达到国际先进水平 。 发动机海平面推力 200 吨级，比冲 326 秒， 采用下一代全流量补燃循环（FFSC）技术 —— 双预燃室结构与泵前摆动控制方式 ，并配套高精度伺服控制系统实现姿态精确控制与大范围推力调节，整体集成度高，具备良好的重复使用适应性和低成本发射潜力。
“IT早报”时间，大家好，现在是 2026 年 4 月 13 日星期一，今天的重要科技资讯有： 1、马斯克旗下 XChat 独立消息应用登陆苹果 App Store，号称私密通信但安全疑云重重 XChat 已上架苹果商店，主打端到端加密、无广告、无需手机号注册，号称要打造西方版微信。但其安全性备受质疑，被指宣传与隐私政策矛盾，且未经过第三方安全审计。>> 查看详情 2、突破 500 万大关：消息称华为 Mate 80 系列手机销量约 508.07 万 长期关注国内手机市场份额的博主 @RD观测 4 月 11 日分享了华为旗舰手机销量情况：截至 2026 W14（IT之家注：第十四周），华为 Mate 80 系列约 508.07 万台，已突破 500 万大关。>> 查看详情 3、消息称苹果已攻克 iPhone Ultra 折叠屏手机折痕、耐用性两大核心难题 彭博社记者爆料，苹果工程师认为已攻克折叠屏手机的屏幕质量和耐用性两大长期缺陷。据称 iPhone Ultra 展开后折痕极不明显，采用书本式设计，配备 7.7 英寸内屏和 5.3 英寸外屏，可能搭载触控 ID。>> 查看详情 4、微信鸿蒙版 App 安装量突破 5000 万，最新 8.0.16.55 正式版发布 微信鸿蒙版 App 4 月 12 日迎里程碑时刻 —— 安装量突破 5000 万。值得一提的是，微信鸿蒙版 App 已于 4 月 11 日发布最新的 8.0.16.55 (8392759) 正式版更新，官方更新日志依然为“修复了一些已知问题”。>> 查看详情 5、小米电视桌面 4.0 4 月 13 日起推送：纵向导航布局上线、支持多赛事同屏播放 小米电视桌面 4.0 4 月 13 日起陆续推送，带来全新纵向导航布局，操作路径更短更流畅。体育模块支持多赛事同屏播放，儿童模式也加强了家长远程管控能力，覆盖多款热门机型。>> 查看详情 6、央视起底 AI“造黄”产业链：9.9 元教程批量生成擦边视频 央视调查发现，网上存在兜售 AI 制作色情擦边视频教程及提示词的完整产业链。只需不到 10 元，就能获得详细“提示词”绕过平台审核，在主流 AI 应用上生成露骨内容。报道还揭露了涉黄 AI 聊天软件的灰色下载渠道。相关行为已违反法规，网信办已开展专项整治。>> 查看详情 7、理想汽车 CEO 李想朋友圈再发文：多次被黑还要隐忍 理想汽车 CEO 李想连发朋友圈，控诉某日系品牌雇佣营销号和水军对理想产品进行“拉踩”和虚假信息攻击，严重影响正常经营。他表示将采取法律手段维权，并呼吁相关部门介入管理，维护行业反内卷成果。>> 查看详情 8、影石新品 4 月 15 日登场，预计为 Insta360 GO Ultra 口袋相机特别版 影石官方宣布将于 4 月 15 日晚 20:00 发布新品，宣传语“公路传奇，新装上阵”。从视频剪影推断，新品很可能是 Insta360 GO Ultra 口袋相机的特别版本。新品具体功能升级暂未公布，值得期待。>> 查看详情 9、摩尔线程完成 MiniMax M2.7 大模型 Day-0 适配，支持 MTT S5000 训推一体全功能 GPU 摩尔线程 MTT S5000 GPU 已完成对 MiniMax M2.7 大模型的 Day-0 适配，该模型是业界首个具备深度自我进化能力的大模型。MTT S5000 作为专为大模型设计的全功能 GPU，单卡 AI 算力最高达 1000 TFLOPS，配备 80GB 显存，支持从 FP8 到 FP64 的全精度计算。这标志着国产 AI 芯片在生态适配上的重要进展。>> 查看详情 10、广汽科技日发布五大核心技术：星源插混让 2 吨大车油耗降至 3 升，昊铂 GT 攀登版 5 月上市 广汽科技日发布星源插混与超级双擎两大系统，搭载 GMC 3.0 混动变速器，高效版传动效率达 98.65%。同时发布星舰车身、星河智舱及星灵电子电气架构 4.0，昊铂 GT 攀登版 5 月上市，实现芯片 100% 国产化。>> 查看详情 11、鸿蒙智行尚界 Z7 / Z7T 新车预订量突破 6 万台，预售价 22.98 万元起 据博主 @我鸿 4 月 12 日分享，鸿蒙智行“风尚科技”轿跑 / 猎装新车 —— 尚界 Z7 / Z7T 新车预订量突破 6 万台，预售价分别 22.98 万元起、23.98 万元起。>> 查看详情 12、崔东树：建议购车支出纳入个税专项抵扣，以拉动汽车消费 乘联会秘书长崔东树在智能电动汽车发展高层论坛上提出长效政策建议：将购车支出纳入个税专项抵扣，汽车消费信贷利息税前扣除。他认为此举能有效刺激高收入群体提前换车，拉动汽车消费。数据显示，3 月汽车产销环比大增，但同比略有下降。>> 查看详情 13、终端大厂全球首个：荣耀机器人“闪电”“元气仔”官宣出征 4 月 19 日北京亦庄马拉松比赛 荣耀全球首席营销官关海涛 4 月 12 日转发央视新闻视频，并正式官宣，荣耀机器人“闪电”“元气仔”正式出征 4 月 19 日北京亦庄马拉松比赛，成为全球首个终端大厂派出选手的机器人马拉松挑战者。>> 查看详情 14、启境 GT7“梅里白”车色官图公布，华为乾崑合作猎装 新车采用德国巴斯夫涂料与 3C2B 八涂层工艺，漆面通透如镜。作为广汽与华为乾崑合作车型，将搭载 896 线激光雷达、预埋 L3 级智驾架构等十大智能技术，并计划在 6 月上市发布会后启动交付。>> 查看详情 15、何刚暗示华为 WATCH FIT 5 Pro 智能手表即将发布 华为终端 BG CEO 何刚 4 月 12 日在微博发布骑行打卡照，配图中意外曝光了“HUAWEI WATCH FIT 5 Pro”的产品名称，暗示新品发布在即。目前具体规格尚未公布，但其前代产品 FIT 4 Pro 已于去年 5 月发布，售价 2099 元起，主打长续航与精准海拔监测。>> 查看详情 16、消息称某厂 nova 系列迭代机型上双红枫镜头、下放 9 系芯片，预计为华为旗下 据爆料，某厂 nova 系列迭代机型将搭载双红枫镜头，并下放 9 系旗舰芯片。新机预计配备 7K 大电池、1.5K LTPO 屏幕，影像规格或有大幅提升，定位中端拍照旗舰。你觉得这会是华为 nova 16 系列吗？>> 查看详情 17、小米 REDMI R70m / R70 5G 手机现身中国电信终端产品库：6.9 英寸水滴屏、至高 12GB+512GB 规格 型号为 26020RN1AC 的小米 REDMI R70m / R70 5G 手机已现身中国电信终端产品库，该机拥有 6.9 英寸水滴屏、采用直角边框设计，预装 Android 16 系统，屏幕分辨率为 1600*720。>> 查看详情 18、大疆 Osmo Pocket 4 运动相机 4 月 16 日发布，更多图片曝光 除了更大存储空间和慢动作拍摄能力，新机标配全新 LED 补光灯、手柄、发射器等。创作者套装更是增加了收纳包、防风罩等配件，起售价预计 499 美元。你对 Vlog 相机的配件需求有多高？>> 查看详情 19、宇通高管李高鹏：支持自动驾驶，但大客车不应搞无人驾驶 在智能电动汽车发展高层论坛上，宇通集团新能源研究院院长李高鹏提出，大客车应坚持“双驾、双控”的人机共驾模式，而非追求无人驾驶。他认为，载客量大的客车需要人类驾驶员监督机器，以确保最高安全标准。这一观点引发了行业对自动驾驶安全边界的思考。>> 查看详情 20、一汽高管周时莹呼吁行业打破各自为战：卖一辆车亏两三万，中国企业难道永远在国内厮杀？ 一汽战略部副总经理周时莹在论坛上指出，当前汽车智能化面临算法、算力、数据、操作系统、芯片五大核心底座割裂的困境。各家车企重复投入，标准不一，导致行业“增收不增利”，卖车亏损。她呼吁构建统一标准与分工协作的共同体，整合资源才能走向全球。>> 查看详情 21、吉利 4 月 13 日发布新一代 i-HEV 智擎混动技术，今年将应用于 4-5 款新车 吉利将于 4 月 13 日发布新一代 i-HEV 智擎混动技术，号称全球首个应用“AI 云动力”的油电混动系统，可将 HEV 车型百公里油耗降至 3 升，整车功率较主流 HEV 提升至少 20%。>> 查看详情 22、华为智能电动将推出“华为智擎”新品牌，4 月 22 日北京车展前夕正式亮相 华为数字能源 BU 宣布，全新品牌“华为智擎”将于 4 月 22 日正式发布。该品牌旨在通过运动域控制技术，将整车响应速度提升至毫秒级，改善续航与平顺性，并与智驾域深度融合，实现从感知到执行的全链条闭环。目前已应用于广汽丰田铂智 7，DriveONE 动力总成累计发货超 240 万套。>> 查看详情 今天就先聊到这里，IT早报，咱们明天见。
IT之家 4 月 12 日消息，据彭博社记者马克 · 古尔曼本周（4 月 8 日）透露， 苹果 iPhone Ultra 将解决折叠屏手机长期存在的两个关键问题 。 古尔曼对此解释道：“苹果工程师认为， 他们已经解决了折叠 iPhone 的屏幕质量 、 整体耐用性问题 ，这两点一直是同类设备的长期缺陷”。 具体来说，iPhone Ultra 展开屏幕时，折痕相比其他同款设备更不明显。 苹果供应链分析师郭明錤曾透露，这款手机的内屏“几乎无折痕”；但古尔曼随后补充道，苹果采用了“降低折痕但无法完全消除”的技术。 规格方面，该机将采用类似书本的开合设计，展开后提供 7.7 英寸内屏，适合看视频、玩游戏以及分屏多任务办公。可能配备 5.3 英寸外屏、双后摄、单前摄，搭载带有触控 ID（Touch ID）的电源键而非面容 ID（IT之家注：Face ID）。