近日,比利时布鲁塞尔自由大学发布研究成果,商用大模型已具备独立生成原创数学证明的能力,OpenAI 的 ChatGPT-5.2 (Thinking) 成功破解 2024 年提出的数学猜想。这一突破使大语言模型跨入理论数学领域,预示科学发现范式变革。研究团队将新科研模式命名为「氛围证明」,ChatGPT 在证明过程中展现原创推理能力,虽人类负责校验,但 AI 推演效率远超预期。该成果打破「AI 无创造力」偏见,未来理论数学研究速度有望提升,核心瓶颈将转向逻辑正确性校验,高效自动化验证将成技术争夺高地。
AI 社区因 Claude Code 源代码泄露而疯狂。X 账号发帖称其通过 npm 注册表映射文件泄露,引发数百万浏览,网友迅速跟进分析。此次泄露源于约 57MB 的 cli.js.map 文件,包含 4756 个源文件完整内容,提取无门槛。恢复代码暴露了 Claude Code 整体架构及关键实现细节。社区挖出不少秘密,如员工专属「卧底模式」、「彩蛋」电子宠物、KAIROS 后台守护机制、神秘「水豚」模型、情绪监控等。事后 Anthropic 移除 source map,GitHub 提取源码仓库遭 DMCA 下架,但源码已广泛传播。这是 Anthropic 第二次犯此低级错误,GitHub 出现多个完整镜像仓库,相关项目星标和 fork 量激增。此次泄露为业界提供了参考,或许会促使各家公司 Agent 迎来大版本更新。
日前,武汉数十辆萝卜快跑无人驾驶出租车集体发生故障,行驶中突然停下,有乘客反映车停马路中间,等工作人员无果,客服电话接通即挂。网友称车辆故障致多起事故、三环拥堵几公里,行车记录仪显示二环有车停快车道且一辆被追尾。交警透露系萝卜快跑系统故障,有百八十台出问题,还救了很多被困乘客,目前萝卜快跑方面未作回应。
在越秀地产 2025 年业绩会上,董事长林昭远称 236 亿拿下的广州马场项目是城市名片级大型综合体,将高标准规划、高质量开发、高能级运营。项目目前在母公司越秀集团旗下,若符合上市公司利益,不排除注入越秀地产,以公告为准。该项目引入高端百货 SKP 合作,近期开工,计划 3-4 年内建成。
周二(3 月 31 日)欧市尾盘,德国 10 年期国债收益率跌 3.1 个基点,报 3.004%,3 月累计涨 36.1 个基点,一季度累计涨 14.9 个基点。两年期德债收益率跌 0.4 个基点,报 2.616%,3 月累涨 61.2 个基点,一季度累涨 49.5 个基点。30 年期德债收益率跌 4.6 个基点,报 3.457%,3 月累涨 14.3 个基点。2/10 年期德债收益率利差跌 2.536 个基点,报 + 38.489 个基点,3 月累跌 25.204 个基点,一季度累跌 34.658 个基点。
佑驾创新 2025 年 L4 无人车及运营业务营收达 6500 万元,下半年较上半年环比增长 450%,并完成首次海外探索。自 2025 年 9 月发布「小竹无人车」品牌后,已与客户合作 6000 台无人物流车,在 18 个城市落地。2025 年智能部件与解决方案业务收入 6.49 亿元,占总收入比重约 85.5%。
欧盟能源专员约根森在布鲁塞尔讲话称,欧盟目前无石油和天然气供应短缺问题,但航空燃油和柴油市场供应紧张,伊朗战争使欧盟化石燃料进口额增加 140 亿欧元。
伊朗军队发布声明称,为回应以色列和美国对伊朗基础设施的袭击,自当天凌晨起,出动攻击型无人机打击了以色列本-古里安国际机场和海法地区的西门子公司、美国电话电报公司的通讯、电信与工业中心。声明指出,本-古里安机场周边的西门子工业软件中心为以军提供前沿技术,海法的美国电话电报公司电信中心是为以军提供先进服务的美国研发中心。
广汽集团与华为乾崑深度共创的高端智能新能源车型启境 GT7 已明确上市与交付时间表,6 月举办上市发布会公布售价等信息,7 月正式开启首批交付。该车采用「HI Plus 嵌入式协同模式」打造,定位「新一代智能猎装轿跑」,搭载华为乾崑 ADS 智能驾驶系统等,纯电版 CLTC 综合续航最高可达 720 公里。启境 GT7 有望在北京车展实车亮相,其市场进程正稳步推进,能否在 30 万级高端新能源市场成功值得关注。
Meta 旗下 Ray-Ban AI 眼镜将推出两款专为近视人群打造的全新机型,预计本周正式发布,并非「新一代」产品。新款采用矩形、圆形镜框设计,将通过传统近视眼镜销售渠道推向市场,代号分别为 Scriber、Blazer,大概率不搭载专属显示屏。Meta 首席执行官曾暗示公司在研发面向近视人群的 AI 眼镜,认为未来主流眼镜将向 AI 眼镜转型。
loading
科技新闻,每天 3 分钟