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