刚刚,GPT-5首次通过“哥德尔测试”,破解三大数学猜想
36氪· 2025-09-25 15:36
GPT-5首次通过「哥德尔测试」,连破三大组合优化猜想!甚至,它能自主推翻原有猜想,给出全新有效解法,当场惊呆OpenAI研究科学家。 AI迎来历史性一刻! GPT-5成功破解三大猜想,通过了「哥德尔测试」。 论文地址:https://arxiv.org/pdf/2509.18383 OpenAI科学家Sebastien Bubeck惊叹地表示,这类开放性问题,顶尖博士生往往耗费数日才能解决。 不同以往,这项由海法大学和思科主导的研究,首次让AI直面「开放性数学猜想」的挑战。 论文中,团队设计了五项「组合优化」领域的测试任务,每项任务提供1-2篇文献作为了解。 在三个相对简单的问题上,GPT-5给出了近乎完美的解法,证明了其强大的逻辑推理水平。 (1) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\varepsilon$) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\varepsilon$) = (1 = $\varepsilon$) = max f(T), TET (1) = (1 = $\va ...
开源项目遭“夺权”,原核心维护者全被踢出局后怒批:这是一次恶意接管
36氪· 2025-09-25 15:36
有人的地方就有江湖,开源世界也并不例外。 最近,一位长期参与开源项目的开发者愤怒指责,称自己深度维护了十多年的项目遭到了"恶意接管",自己落了个被「踢出局」的下场。随后,这个项目 被一家非营利公司的开源总监接手了,其还大刀阔斧地移除了所有其他维护者,可谓一点情面也没留。 几天后,这些"移除"操作大部分被撤销,而这家组织的开源总监却轻描淡写地称这只是一次"错误"。令人没想到的是,他隔了几天又再次将所有维护者从 GitHub 组织中移除,给的理由是以安全之名。 如此儿戏般的剧情,目前正在主流编程语言 Ruby 社区上演,由此也引发了巨大的争议,其中 Apache CouchDB 的开发者、Relaxed 公司的创始人之一 Jan Lehnardt 在 Mastodon 上质问道:"Ruby 到底发生了什么鬼事情?" "惨遭踢出局"的开源维护者 归根结底,这其实是一场关于开源项目管理权的问题,具体源头还得从 RubyGems 和 Bundler 这两款工具说起。 RubyGems 是 Ruby 的标准包管理器, Bundler 则是依赖管理器,它由非营利组织 Ruby Central 赞助。不过,多年来,这些工具由 ...
21年上市长跑,奇瑞汽车港股“上岸”,成年内最大车企IPO
新华财经· 2025-09-25 15:35
9月25日,奇瑞汽车股份有限公司(简称"奇瑞汽车")(股票代码:9973.HK)正式于港交所挂牌上 市。本次IPO是港交所年内最大规模车企IPO。 9月24日晚间,奇瑞汽车在港交所公告,最终发售价为30.75港元,所得款项净额88.793亿港元。25日, 奇瑞汽车正式挂牌交易,开盘涨超10%,开盘价34.2港元,截至发稿每股报价34.5港元,涨幅12.2%,总 市值1993亿港元,市盈率11.51。 业绩"狂飙",赢得市场"入场券" 奇瑞汽车此次港股IPO的募资净额约为84.41亿港元。根据规划,其中约35%的资金将用于未来一至三年 研发不同车型和版本的乘用车,以进一步扩大产品组合;约25%将用于未来一至三年下一代汽车及先进 技术的研发以提高核心技术能力;约20%将用于未来一至四年拓展海外市场及执行全球化策略;约10% 将用于未来一至四年提升公司位于安徽芜湖的生产设施;约10%将用于营运资金及一般企业用途。 此次发行得到了资本市场的积极响应。中金公司、华泰国际、广发证券(香港)为其联席保荐人,其他 包销商包括中信证券、中银国际、招银国际、农银国际、富途证券。此外,包括JSC International Inv ...
美国下调欧盟汽车关税,关税隐忧难消
新华财经· 2025-09-25 15:35
欧洲大型车企纷纷下调业绩预测。大众在7月下旬将2025年营业利润率预期从原先的"5.5%至6.5%"下调 至"4%至5%"。德国汽车研究中心的贝娅特丽克丝·凯姆指出:"2025年下半年,收益恶化的趋势可能会 更加明显。" 中欧数字协会主席路易吉·甘巴尔代拉表示,美国贸易政策的不确定性正给欧洲汽车业带来严重冲击和 深远影响。即使根据美欧达成的新贸易协议,美国对欧盟出口的汽车和零部件征收15%的关税,仍远高 于原来的2.5%。 "这无异于一记重击。"甘巴尔代拉说,汽车产业是欧洲经济一大支柱,德国、法国、意大利等国都依赖 庞大的汽车产业链,这一链条直接或间接关系着数百万个工作岗位。美国的关税政策将迫使欧洲车企要 么自行消化高昂成本,进一步压缩利润空间,要么将成本转嫁给消费者,导致市场份额遭到挤压。 资讯编辑:王芳琴 021-66896877 资讯监督:乐卫扬 021-26093827 资讯投诉:陈跃进 021-26093100 美国政府24日表示,正式落实与欧盟达成的贸易协议,确认对欧盟汽车及零部件征收15%的关税自8月1 日起生效。 此外,美国还宣布将对欧盟出口的软木、飞机及零部件以及仿制药等进行关税豁免。 欧洲 ...
零跑汽车今日正式宣布第100万台整车下线
新华财经· 2025-09-25 15:35
资讯编辑:王芳琴 021-66896877 资讯监督:乐卫扬 021-26093827 资讯投诉:陈跃进 021-26093100 零跑汽车今日正式宣布第100万台整车下线,标志着其成为中国第二家迈入"百万俱乐部"的新势力造车 企业。今年1-8月,零跑累计交付量突破32万台,持续领跑中国新势力品牌销量榜,月销量已连续6个月 稳居新势力榜首。 ...
中文在线出海战略再结硕果 FlareFlow以低消耗投放策略冲上美国应用榜首
证券日报· 2025-09-25 15:35
本报讯 (记者李乔宇)中文在线集团股份有限公司(以下简称"中文在线")国际微短剧平台FlareFlow 上演了一场高效增长案例。上线仅5个月,该平台于9月23日创下单日收入历史新高,并登顶美国iOS与 安卓娱乐应用免费榜双端榜首,进入美区App Store海外短剧畅销榜前四。 在竞争激烈的市场环境中,FlareFlow的突破性在于其低消耗增长模式。第三方数据表明,其日常在大 媒体平台的投放消耗规模远低于头部竞品。该平台依靠优质的本地化内容、高效流量投放及精细用户运 营成功登顶,展现了其运营效率与内在竞争力,体现了中文在线集团国际化布局的成果。 技术支持是效率提升的关键。借助中文在线自研"中文逍遥"大模型,该平台在剧本创作等环节实现高效 优化,保障了内容质量与稳定供给。产能布局上,FlareFlow构建了全球协作网络,包括中美多地内容 创作基地、与超过20家国际团队的产能锁定、两地后期制作基地,以及已启动建设的横琴大湾区国际短 剧基地,为"国际微短剧生态型企业"目标奠定基础。 内容方面,该平台已推出《Raising His Mistress's Child》等爆款自制剧,进入优质作品良性产出周期。 当前上线作品 ...
招金黄金:斐济瓦图科拉金矿每天采选处理矿石约900吨-1000吨
新华财经· 2025-09-25 15:35
资讯编辑:王芳琴 021-66896877 资讯监督:乐卫扬 021-26093827 资讯投诉:陈跃进 021-26093100 招金黄金9月25日在互动平台回答投资者提问时表示,目前,斐济瓦图科拉金矿每天采选处理矿石约900 吨—1000吨。香港富林公司建设的1000吨/日矿石处理量的选厂正式达产后,每天处理矿石约1000吨。 ...
神马股份:千吨级高温尼龙6T树脂项目取得关键进展
证券日报· 2025-09-25 15:35
(文章来源:证券日报) 谈及高温尼龙项目的实施,神马股份表示,这是公司延链、补链、强链的关键动作,能够进一步丰富产 品结构,拓展新的业务增长点,完善其在高端工程塑料领域的战略布局,增强企业综合竞争力,从而提 升抗风险能力和市场应变能力。 业内预计,在汽车轻量化、电子器件小型化等行业趋势下,高温尼龙需求将持续增长,为公司带来显著 的经济效益与市场影响力。 本报讯 (记者肖艳青)9月25日,《证券日报》记者从神马实业股份有限公司(以下简称"神马股份") 获悉,近日其下属平顶山神马工程塑料有限责任公司(以下简称"工程塑料公司")1000吨/年高温尼龙 6T树脂项目首批设备正式到货,这意味着该项目进入实质性建设阶段,目前技术团队正全力推进工程 进度,确保项目按期竣工投产。 高温尼龙作为一种高性能工程塑料,具备优异的耐热性、机械强度及化学稳定性,被广泛应用于汽车、 电子电气、航空航天等高新技术领域。该高温尼龙项目建成后,将有效填补国内高端尼龙材料的部分空 白。 神马股份是亚洲最大的尼龙化工产品生产基地,工程塑料公司较早布局尼龙树脂产业,是国内最大的尼 龙66树脂生产商。 ...
康师傅要对打外卖?说不定是真的!
中国食品网· 2025-09-25 15:35
2013年到2025年,外卖行业经历了多轮激烈竞争,每一轮都伴随着"方便面将被取代"的唱衰声。新速食、预制菜兴起、外卖等跨界挑战者持续冲击着方便面 市场。 然而,康师傅依然稳居行业龙头,市占率高达45%。 因为,康师傅能始终精准把握"对胃"与"卡位",敏锐捕捉时代偏爱,持续交付标准化、高确定性的产品,从而牢牢赢得市场与消费者的信赖。 这,也正是康师傅如今敢于再次正面迎战外卖冲击的底气所在。 01 创新一代速食,比外卖"多快好省"? 图注:潮卤牛三宝牛肉面\白松露鸡腿鸡汤面\PREMIUM 优选杯 再比如,康师傅聚焦场景积极拥抱新渠道——在山姆先后上架了用料扎实、口味独特的潮卤牛三宝牛肉面、选用珍稀食材的白松露鸡腿鸡汤面;在开市客推 出免撒料包的"宅家速食之光"PREMIUM优选杯,市场表现远超预期,终端销售数据亮眼。 最令消费者惊喜,也是对方便面有划时代意义的是——合麵,10元,把标准化的"正餐体验"装进速食。 合麵在"肉、菜、汤、面"上做足文章,4分钟就能泡出"劲道宽面+原切大块肉+脆嫩蔬菜+肉汁汤底",满足了用户对"有饭有菜有汤"的正餐期待。凭借RP锁 鲜技术,合麵还解决了传统速食常见的味道不自然,让用户 ...
港股异动 | 精技集团(03302)放量飙升 午后一度涨超200% 公司专门生产半导体行业的设备等
智通财经网· 2025-09-25 15:35
消息面上,精技集团原名光控精技,是1988年在新加坡成立的合约制造商,专门生产半导体行业的设 备、机械、子系统、精密工具及零部件。中国光大控股有限公司为其主要股东。2019年11月,该公司曾 发公告称,公司直接全资附属公司精技电子(买方)与南通半导体基金(卖方)订立股份转让协议,精技电 子向南通半导体基金购买58.81万股上海微电子股份,占上海微电子全部已发行股份约0.4%。代价为人 民币1600万元,将由精技电子于完成时以现金支付。 智通财经APP获悉,精技集团(03302)受资金追捧,午后一度放量飙升逾200%,现涨幅明显收窄。截至 发稿,涨144.74%,报0.465港元,成交额6292.7万港元。 ...