Skip to main content

LoopDNS资讯播报

LoopDNS 综合资讯---简洁,及时,快速,准确


频道: @DNSPODT

电报讨论组: @LoopDNS

撤稿流程: https://t.me/loopdns/107752
  1. DeepSeek推出数学专用模型DeepSeek-Prover-V2 专注形式化定理证明

    DeepSeek 发布了一个新的开源模型 DeepSeek-Prover-V2-671B,专注于数学定理证明任务。该模型建立在专家混合 (MoE) 架构之上,并利用 Lean 4 框架进行正式的推理训练。该算法的参数规模为 671B,将强化学习和大规模合成数据相结合,显著提升自动化证明能力。该模型现已在 Hugging Face 上可用,支持本地部署和商业使用。

    来源:HuggingFace
  2. 晚点:据我们了解,在 4 月的最后一天,阿里将淘天旗下即时零售业务淘宝 “小时达” 升级为淘宝 “闪购”,先在 50 多个城市上线,并将在 5 月 6 日覆盖全国。

    升级后,最重要的变化会集中在三个方面:消费者侧,淘宝闪购将联合饿了么共同补贴,规模超过百亿元,提供免单、大额优惠券等;供给侧,饿了么的供给面向淘宝闪购全部开放,也包括餐饮外卖,此外,结合淘天在品牌电商商家的优势,与它们的城市仓、线下门店合作设立品牌即时零售旗舰店,目标是首先覆盖 200 家核心连锁品牌;组织侧,淘系内部所有和即时零售相关的业务将由淘宝闪购全面负责,饿了么全力协同。

    mp.weixin.qq.com
  3. 屠呦呦当选美国国家科学院外籍院士

    据澎湃, 近日,美国国家科学院(National Academy of Sciences,United States,简称:NAS)公布了新当选的院士和外籍院士。此次有120人当选院士,30人当选外籍院士,以表彰他们在原创性研究方面所取得的杰出且持续的成就。其中,中国科学家屠呦呦当选为美国国家科学院外籍院士。屠呦呦主要的科学贡献是发现青蒿素。她从中医古籍中得到启迪,改变青蒿传统提取工艺,创建的低温提取青蒿抗疟有效部位的方法,成为青蒿素发现的关键性突破。
  4. 部分义乌玩具商:已接到沃尔玛、塔吉特出货通知,关税由美方承担

    据新京报,从义乌玩具出口商处获悉,已经接到美国零售巨头沃尔玛和塔吉特的通知,让其恢复供货。目前已恢复向沃尔玛、塔吉特出口部分玩具,新关税成本将由美方客户承担。此前,该出口商向记者表示,因美国“对等关税”激增至145%,沃尔玛通知暂停发货,但其工厂并未停止玩具生产。该出口商表示,预计不久后将恢复全面供应。
  5. 中国国务院新闻办公室4月30日发布《关于新冠疫情防控与病毒溯源的中方行动和立场》白皮书,强调中国以公开透明态度开展病毒溯源研究并支援全球抗疫,同时指出美国抗疫不力、推卸责任及溯源政治化问题,呼吁国际社会基于科学合作应对疫情。

    来源:新华网
  6. 小米首个推理大模型开源

    4月30日,据“小米大模型”公众号消息,今天,小米开源首个为推理(Reasoning)而生的大模型「XiaomiMiMo」,联动预训练到后训练,全面提升推理能力。在数学推理(AIME24-25)和代码竞赛(LiveCodeBenchv5)公开测评集上,MiMo仅用7B的参数规模,超越了OpenAI的闭源推理模型o1-mini和阿里Qwen更大规模的开源推理模型QwQ-32B-Preview。

    来源:每日经济新闻 / Github / HuggingFace
  7. 中投公司拟出售10亿美元美国私募股权资产 地缘紧张背景下优化投资组合

    据知情人士透露,中国主权财富基金中投公司(CIC)正通过二级市场出售约10亿美元美国私募股权资产,涉及黑石集团(BX)和凯雷集团(CG)等8家机构管理的基金。此次出售由投行Evercore提供咨询,目标6月底前完成,但交易规模和截止时间可能随市场情况调整。消息人士称,这批2016-2017年投资的资产已临近周期尾声,而中美地缘紧张加剧了市场不确定性。英国《金融时报》此前报道称中投已暂停对美国私募的新投资。中投2023年报显示,其1.33万亿美元资产中64%由外部管理,美国股票占海外公开市场股权投资的60.29%。

    来源:路透社
  8. 微软CEO称公司20%-30%代码由AI生成 不同编程语言效果差异显著

    微软CEO萨提亚·纳德拉在Meta LlamaCon大会上透露,微软代码库中20%-30%的代码由AI生成,并指出AI在不同编程语言中的表现差异明显,Python进展显著而C++较少。微软CTO预测到2030年95%代码将由AI生成,而谷歌CEO皮查伊上周称其公司超30%代码已由AI生成,但两家公司对AI生成代码的衡量标准尚不明确。

    来源:TechCrunch
  9. LoopDNS资讯播报
    中国4月官方制造业PMI为49.0,预期49.8,前值50.5; (2023年5月以来最低) 非制造业PMI为50.4,预期50.6,前值50.8; 综合PMI为50.2,前值51.4。 来源:外汇交易员
    中国4月财新制造业PMI录得50.4,预期49.8,前值51.2。
    财新:生产指数在扩张区间微降,新订单指数降至七个月新低,但仍在扩张,显示供给继续好于需求;受对等关税影响,新出口订单指数骤降至2023年8月以来最低,明显低于荣枯线;生产经营预期指数在扩张区间降至2024年四季度以来新低,也是2012年4月有记录以来第三低,显示业界对全球贸易前景的担忧加剧。

    来源:外汇交易员
  10. 中国4月官方制造业PMI为49.0,预期49.8,前值50.5;
    (2023年5月以来最低)
    非制造业PMI为50.4,预期50.6,前值50.8;
    综合PMI为50.2,前值51.4。

    来源:外汇交易员
  11. 民营经济促进法出台 自今年5月20日起施行

    4月30日,十四届全国人大常委会第十五次会议表决通过民营经济促进法,自2025年5月20日起施行。民营经济促进法共9章78条,包括总则、公平竞争、投资融资促进、科技创新、规范经营、服务保障、权益保护、法律责任和附则。
    作为我国第一部专门关于民营经济发展的基础性法律,民营经济促进法将进一步优化民营经济发展环境,保证各类经济组织公平参与市场竞争,促进民营经济健康发展和民营经济人士健康成长,构建高水平社会主义市场经济体制,发挥民营经济在国民经济和社会发展中的重要作用。

    来源:新华社
  12. 金砖国家外长会议未达成联合公报 主席声明谴责贸易保护主义

    金砖国家外长在里约热内卢会议上未能就联合公报达成一致,巴西作为轮值主席国发表声明,谴责贸易保护主义,并对全球经济碎片化和多边主义弱化表示严重关切。声明批评单边关税措施违反WTO规则,但未点名美国。中国要求对美高关税采取更强硬措辞,而扩员后的金砖国家内部协调难度增加,但合作潜力也被认为更大。

    来源:联合早报
  13. 研究警告:AI生成代码中的"软件包幻觉"可能引发供应链灾难

    根据即将在2025年USENIX安全研讨会上发表的研究报告,AI生成的代码中存在大量指向不存在软件包的"软件包幻觉"现象。研究人员测试发现,在576,000个代码样本中,19.7%的软件包引用指向不存在的包,其中43%的幻觉包会在10次查询中重复出现。开源LLM产生的软件包幻觉率(22%)显著高于商业模型(5%),且JavaScript代码的幻觉率(21%)高于Python代码(16%)。研究人员警告,这种可重复的幻觉模式可能被恶意攻击者利用,通过发布同名恶意软件包实施供应链攻击。

    來源:arstechnica
  14. 白宫抨击亚马逊标注关税成本为"敌对政治行为"

    白宫周二强烈谴责亚马逊计划在其网站上展示特朗普总统关税政策导致的商品额外成本,发言人卡罗琳·莱维特称这是"敌对政治行为",并质疑为何亚马逊未在拜登政府时期标注通胀影响。该零售巨头股价应声下跌2%,此前报道显示亚马逊将明确区分商品价格中的关税部分,效仿SHEIN和Temu等跨境电商的收费标注做法。莱维特的激烈回应暴露出特朗普与亚马逊创始人贝索斯之间新出现的裂痕,尽管贝索斯近期曾向共和党阵营捐款百万美元并限制《华盛顿邮报》刊发批评特朗普的评论文章。

    来源:CNBC
  15. 社科院报告建议增发2-3万亿特别国债并设立2万亿股市平准基金应对内外挑战

    中国社会科学院金融研究所报告建议,面对复杂国际局势,我国应年内额外增发2万亿至3万亿元特别国债,并加快设立2万亿元股市平准基金,以促消费、稳市场,增强经济韧性。报告还提出优化房地产政策、支持外贸企业转型等多项措施,强调需发挥国家信用作用,为全球经济注入稳定性。

    来源:新浪财经