苹果开源 corecrypto 密码库，附形式化验证证明量子安全算法正确性苹果在 5 月 22 日发布了 corecrypto 源代码，公开了用于对抗未来量子计算机的 ML-KEM 和 ML-DSA 算法实现，并首次提供了端到端的形式化验证数学证明。这些证明确保 C 代码和手工优化的 ARM64 汇编与 NIST 标准严格一致。 量子安全加密已部署于 iMessage、VPN 等场景，而 corecrypto 为超过 25 亿台活跃设备提供基础加密运算。苹果同时公开了定制验证工具和 Isabelle 理论库…
FCC 文件曝光苹果未发布头戴式蓝牙耳机美国 FCC 数据库近日出现一款苹果未发布的蓝牙耳机，型号 A3577。设备被描述为“蓝牙头戴式耳机”，内置电池、麦克风和天线。 由于目前大部分细节仍处于保密状态，尚无法判断该产品属于 AirPods 系列还是 Beats 系列。考虑到苹果刚推出 AirPods Max 2，外界猜测这更可能是一款新的 Beats 耳机。 9To5Mac 🌸 在花频道 · 备用频道 · 投稿通道
Anthropic 公布 Project Glasswing 初期成果：AI 发现逾万高危漏洞Anthropic 的 Project Glasswing 项目利用 Claude Mythos Preview 模型，在一个月内与其约 50 个合作伙伴共同从关键软件里找出逾万高危或严重漏洞，并扫描上千个开源项目，发现 6202 个高危严重漏洞，其中经过审查的 1752 个里 90.6% 为真阳性。合作伙伴 Cloudflare 等表示漏洞发现速率提高十倍以上。 漏洞发现已不再是瓶颈，但验证、披露和打补丁的人力严重跟不上，开源维护者…
神舟二十三号航天员乘组确定，由指令长朱杨柱、航天驾驶员张志远和载荷专家黎家盈组成。这是我国首个由第三批和第四批航天员构成的乘组，其中一人将执行一年期飞行任务。飞船计划于 5 月 24 日 23 时 08 分发射。 黎家盈是我国首位执行飞行任务的第四批航天员，也是面向港澳选拔的首位女性载荷专家。朱杨柱此前执行过神舟十六号任务，此次成为首位担任指令长的航天飞行工程师。3 名航天员已于 5 月 23 日在酒泉卫星发射中心与中外媒体见面。 科…
国务院发布《关于推行常住地提供基本公共服务的实施意见》，提出由常住地提供基本公共服务，逐步消除基本公共服务与户籍挂钩因素，推动未落户常住人口与户籍人口同等享有基本公共服务。 这份意见把提升基本公共服务均等化水平作为方向，并将其与提高城镇化质量、释放国内需求潜力和实施以人为本的新型城镇化战略相衔接。 中国政府网 🌸 在花频道 · 备用频道 · 投稿通道
由于 Cloudflare 授权服务存在问题,目前 Cloudflare 面板和 API 访问 503 已于北京时间 00:23 恢复 Cloudflare 🌸 在花频道 · 备用频道 · 投稿通道
富途控股称，已收到中国证监会及深圳证监局的调查通知和行政罚款预通知函。监管认定，中国大陆和中国香港的部分富途实体未取得所需许可或批准，在中国大陆开展证券、公开基金销售和期货业务，拟被责令整改或停止，并没收违法所得、合计罚款约 18.5 亿元。公司创始人兼首席执行官李华还拟被个人罚款 125 万元。富途表示，这笔罚款仍需经过后续程序并等待最终决定。 老虎证券 5 月 22 日公告称，若干子公司因涉嫌在中国内地无牌照开展跨境证券业务，并涉…
DeepSeek-V4-Pro API 优惠结束后定价将为原价的四分之一DeepSeek-V4-Pro 模型 API 目前的 2.5 折优惠活动将于 2026 年 5 月 31 日结束。结束后，其正式定价将调整为原价的四分之一，与当前的优惠价格保持一致。 DeepSeek API Doc 🌸 在花频道 · 备用频道 · 投稿通道
继昨日上调后，Antigravity 再次将付费用户的 Gemini 周限额提高 3 倍Antigravity 将付费计划的 Gemini 周使用配额再次提高三倍，并重置了所有付费账户的当前额度。现在一共九倍额度。 团队称，该平台昨日已上调限额，此次加码是为了回应用户反馈，避免用户在几次工作后就触及每周上限。 Varun Mohan(@_mohansolo) 🌸 在花频道 · 备用频道 · 投稿通道
腾讯收购喜马拉雅获批，附加条件：放弃音频独家版权国家市场监管总局批准该收购，但要求腾讯承诺不再达成或变相达成在线音频版权独家授权，并限期解除现有独家合同。这意味着喜马拉雅此前建立的独家内容壁垒将逐步解除，同类平台可获取相同版权，行业竞争格局可能松动。对普通用户来说，跨平台收听会方便不少。 腾讯称将配合解除独家合同，后续寻求非独家合作。 鹅厂黑板报 🌸 在花频道 · 备用频道 · 投稿通道
香港证监会发出通函，列明开立账户及维持客户关系时应实施的监控措施，并要求所有持牌法团在切实可行情况下尽快内部核查，侦测是否曾接受可疑或伪造文件开户。证监会称，对开户中的严重监控失误和使用伪造文件零容忍，并将对相关持牌法团及其高级管理层采取坚决的监管及执法行动。 这份通函源于对 12 家证券经纪行开户作业手法的检视。检视发现，部分机构在开户文件尽职审查、接受可疑或伪造文件，以及管理与海外中介人的跨境代理关系方面存在重大缺失，可能加剧洗钱…
证监会等八部门联合印发整治方案，明确未经批准的境外机构不得在境内通过网站、APP 等招揽客户、开户、传输交易指令或划转资金。方案设 2 年集中整治期清理存量业务；期间只允许存量投资者单向卖出并转出资金，期满后相关境内网站、交易软件和配套服务器要全面关停。 整治对象包括非法跨境展业的境外机构、协助展业的境内关联方和中介，以及提供开户通道、营销引流的信息平台和自媒体。方案提出投资者财产安全不受整治影响，并引导通过港股通、QDII 和跨境理…
互联网垂直招聘平台拉勾网的运营主体已于 2026 年 5 月 15 日正式进入破产重整程序，申请人与被申请人均为公司自身。目前其官网虽能访问，但客服电话无人接听，官方微博和微信公众号已停更一年多，APP 也从应用商店下架。 拉勾网 2013 年成立后曾迅速成为互联网招聘独角兽，2017 年前程无忧以 1.2 亿美元收购其 60%股权。创始团队 2022 年退出后，公司战略摇摆、新业务亏损、多轮裁员，逐渐失去差异化优势。与此同时，招聘行…
字节跳动开源 3B 统一多模态模型 Lance，同时处理图像视频理解与生成字节跳动发布轻量级多模态模型 Lance，激活参数量仅 3B，却原生统一了图像理解、视频理解、图像生成、视频生成和跨模态编辑，一个模型可输出文本、图像和视频。 Lance 采用共享上下文与双流专家架构，分别由 Qwen2.5-VL 和 Wan2.2 编码器处理理解与生成任务，并通过模态感知位置编码解决序列边界混淆。在 GenEval 图像生成、VBench 视频生成等基准上取得领先结果。模型使用 Apache 2.0 许可，权重已在…
GLM-5.1-HighSpeed 是 GLM-5.1 的高速版本，输出速度达到 400 tokens/s。该模型仅面向智谱 BigModel 开放平台部分企业客户定向开放。 它支持 Function Call、JSON 等结构化输出和 MCP，主打低延迟场景，包括 Coding Agent、多轮代码生成、实时 UI 构建、运营问答、语音助手和实时客服等。 智谱 AI 🌸 在花频道 · 备用频道 · 投稿通道
教育部等四部门发布《中小学基本办学条件底线要求》，从学校建设、安全防范、生活硬件、教学设施、教职工配备五方面提出 20 条底线标准，力争三年内让所有中小学校全部达标。此次要求是在 2014 年"全面改薄"20 项标准基础上的迭代升级。 教育部将建立逐校排查台账，实行达标动态销账；同时加大政策保障，因地制宜制定"一校一策"，并统筹存量资源向薄弱环节倾斜。各地对办学条件"底线失守"问题将"零容忍"，确保设施能用好用。 1、校园内设置旗台、…
美国众议院能源与商务委员会以 48 比 1 通过一项更大立法包，其中纳入《阳光保护法案》，把永久实施夏令时的提案送交众议院全院审议。法案目标是取消美国每年两次调钟。 若最终实施，多数地区将全年维持现在每年 3 月至 11 月使用的时间，不再在秋季把时钟调回去。该提案这次是作为交通相关法案的一部分推进，特朗普也公开表态支持。 The Hill | House Committee on Energy and Commerce | WJTV…
《GTA6》仍定于 2026 年 11 月 19 日发售，没有跳票。Take-Two CEO 施特劳斯·泽尔尼克明确表示，营销与宣发活动将在夏季启动，具体预计 6 月下旬开始，因此第三支预告片不会在 6 月前发布，百思买预购传闻也不属实。 宣发方案将采用与《GTA5》时代不同的“广泛覆盖”策略，预购将与营销活动同步开启。美方夏季通常从 6 月下旬持续到 9 月下旬，未来几周内不会有新动向。 Jason Schreier 🌸 在花频道…
礼来公布 TRIUMPH-1 结果：在无糖尿病、肥胖或超重且至少有一项体重相关合并症的成人中，retatrutide 各剂量在 80 周均达到主要和关键次要终点。最高剂量组 12 mg 组平均减重 28.3%，45.3% 的参与者减重至少 30%。4 mg 组平均减重 19.0%，因不良事件停药率为 4.1%，低于安慰剂组 4.9%。 试验纳入约 2500 名肥胖或超重且伴有至少一种相关疾病的患者。常见副作用以胃肠道反应为主，礼来称未…
Codex 新增 Mac 锁屏后继续操作功能OpenAI 为 Codex 的 Computer Use 增加“锁屏使用”。用户启用后，即使 Mac 已锁屏、屏幕关闭，也能让 Codex 从手机等已连接设备继续操作获准应用。 这项功能目前用于 macOS，首发不含欧洲经济区、英国和瑞士。使用前要安装插件并授予屏幕录制、辅助功能权限；临时解锁只在当前任务内生效，检测到本地输入会重新锁定。 OpenAI Developers(1, 2) 🌸 在花频道 · 备用频道 · 投稿通道
在花
