GPT-5.6 Sol Ultra 在不到 1 小时内完成了存在约半个世纪的循环双覆盖猜想证明，并生成一份 3 页 PDF。该猜想针对无桥图，要求用一批圈让每条边恰好被覆盖两次。模型通过 64 个子 agent 并行处理，将问题转化为有限域上的边标号和线性方程组问题：为每条边配置两个标签，使相同标签的边组成圈。
OpenAI 同时公布了约 700 个英文字符的完整 Prompt。它不规定固定解题步骤，而是明确验收标准、定义、边界条件和失败情形，并要求动态分配子 agent、设置独立审查，检查证明是否偷换定义或遗漏情况。
量子位
🌸 在花频道 · 茶馆水群 · 投稿通道
Please open Telegram to view this post
VIEW IN TELEGRAM
🤯501😱59🤓21👍19❤13👎10😁5🤔1🤩1🤪1
安全研究人员对 xAI 官方编程命令行工具 Grok Build（版本 0.2.93）进行抓包分析，发现该工具默认通过两个渠道向 xAI 服务器传输代码。其一，工具读取的任何文件（包括 .env 等密钥文件）内容会被原样嵌入模型对话请求，同时打包上传至 Google Cloud Storage 存储桶。其二，无论提示词是否要求读取，整个代码仓库会以 git bundle 形式上传；实验中一个被明确指令“不要打开”的文件，其内容仍可在上传压缩包中完整恢复。关闭设置中的“改进模型”开关无法阻止上传，服务器端仍返回上传已启用的状态。在 12 GB 仓库测试中，超过 5 GiB 数据成功上传且无存储端拒绝。研究者强调仅证明了数据传输与存储行为，未证明 xAI 使用这些数据进行模型训练。
Gist | Reddit
🌸 在花频道 · 茶馆水群 · 投稿通道
Please open Telegram to view this post
VIEW IN TELEGRAM
👎274😁85😱31👍8❤7🤬6🤣4🔥1🥴1🤓1
Codex 项目负责人 Tibo 在 X 提供了一份“换用指南"，称若 "橙色螃蟹"(Claude)用户暂时不想安装 Codex 应用，可先把 Claude 指向 GPT-5.6 Sol，全程约 5 分钟。他教用户们通过第三方工具 CLIProxyAPI 接入 GPT-5.6 Sol 模型，并给配置别名取名为“claudex”。他表示，如果这套操作被屏蔽，自己欠用户一次重置。
Tibo（@thsottiaux）
🌸 在花频道 · 茶馆水群 · 投稿通道
Please open Telegram to view this post
VIEW IN TELEGRAM
🤣597😁16❤11🥰9👎3🤔3👍2
欧盟官员：大型科技公司将因消费者保护失职面临罚款
欧盟司法专员 Michael McGrath 表示，布鲁塞尔正准备赋予自身新权力，对未能保护消费者（尤其是儿童）免受在线消费陷阱侵害的大型科技公司处以罚款。欧盟委员会计划在今年年底前提出加强在线消费者保护的提案，新规则将打击网站和应用的成瘾性设计、订阅陷阱及其他"暗黑模式"。
McGrath 指出，欧盟还希望获得对跨境系统性案件的执法权，可对违反消费者保护法的平台罚款，对象不仅包括已被数字法规覆盖的大型科技公司，也涵盖小型在线商家和游戏开发商。他坦言，目前由成员国执行的消费者保护规则"从未导致罚款，不足以威慑违法企业"。此际欧盟也在辩论是否对年轻用户实施社交媒体禁令。
ft.com
🌸 在花频道 · 茶馆水群 · 投稿通道
欧盟司法专员 Michael McGrath 表示，布鲁塞尔正准备赋予自身新权力，对未能保护消费者（尤其是儿童）免受在线消费陷阱侵害的大型科技公司处以罚款。欧盟委员会计划在今年年底前提出加强在线消费者保护的提案，新规则将打击网站和应用的成瘾性设计、订阅陷阱及其他"暗黑模式"。
McGrath 指出，欧盟还希望获得对跨境系统性案件的执法权，可对违反消费者保护法的平台罚款，对象不仅包括已被数字法规覆盖的大型科技公司，也涵盖小型在线商家和游戏开发商。他坦言，目前由成员国执行的消费者保护规则"从未导致罚款，不足以威慑违法企业"。此际欧盟也在辩论是否对年轻用户实施社交媒体禁令。
ft.com
🌸 在花频道 · 茶馆水群 · 投稿通道
👍146🔥8❤7😁3🫡3🖕2👏1
中国电动汽车平均车龄仅 1.8 年，比手机使用周期还短
中国汽车工业协会与和君咨询报告显示，中国上路电动汽车的平均车龄仅 1.8 年，燃油车则为 8.2 年，这一数字甚至比许多消费者使用手机的周期还短。电池、软件与芯片的快速进步推动了车型加速升级，而较低的残值也可能促使车主更早换车。使用三年后的电动车平均价值仅为原价的 43.35%，低于传统燃油车的同期水平。
35 岁以下用户是新能源汽车的核心消费群体，高度重视智能驾驶与数字化体验。懂车帝数据显示，43% 的电动车车主更换车辆的首要原因是升级智能功能与用户体验。
Bloomberg
🌸 在花频道 · 茶馆水群 · 投稿通道
中国汽车工业协会与和君咨询报告显示，中国上路电动汽车的平均车龄仅 1.8 年，燃油车则为 8.2 年，这一数字甚至比许多消费者使用手机的周期还短。电池、软件与芯片的快速进步推动了车型加速升级，而较低的残值也可能促使车主更早换车。使用三年后的电动车平均价值仅为原价的 43.35%，低于传统燃油车的同期水平。
35 岁以下用户是新能源汽车的核心消费群体，高度重视智能驾驶与数字化体验。懂车帝数据显示，43% 的电动车车主更换车辆的首要原因是升级智能功能与用户体验。
Bloomberg
🌸 在花频道 · 茶馆水群 · 投稿通道
😁470🤣123👎42🤯28❤6👍5🥰3🤓3👏1
科技圈🎗在花频道📮
Please open Telegram to view this post
VIEW IN TELEGRAM
🥴266😁62👏23🤣15🌭12❤8👍7👎3🤔3🍌2🍓1
科技圈🎗在花频道📮
全球首款侵入式脑机接口医疗器械获批上市 国家药监局近日批准博睿康医疗科技（上海）有限公司“植入式脑机接口手部运动功能代偿系统”创新产品注册申请，标志着国际首个侵入式脑机接口医疗器械正式进入临床应用阶段，实现该类医疗器械全球首发上市。 该产品采用硬脑膜外微创植入与无线供能通信技术，主要通过气动手套设备辅助 18 至 60 岁颈段脊髓损伤所致四肢瘫患者实现手部抓握功能代偿。临床试验结果显示，受试者通过该产品明显提高了手部抓握能力，进而改善了生活质量。 新京报 🍀在花频道 🍵茶馆聊天 📮投稿
高位截瘫患者借 NEO 重新握笔
36 岁高位截瘫患者董辉在脑内植入一枚硬币大小的无线设备后，通过训练重新完成抓握、书写等动作。这套名为 NEO 的半侵入式脑机接口系统由博睿康和清华大学共同研发，已在中国获批上市，用于颈段脊髓损伤导致四肢瘫痪、手指无法抓握的成年患者。
材料显示，中国已有 32 位颈部脊髓受损患者接受相关半侵入式脑机手术；博睿康官网称，NEO 产品已完成 36 例临床手术，并于 2026 年 3 月 13 日取得注册证。脑机接口在医疗康复之外仍面临长期安全性、数据隐私、伦理边界和真实应用场景等问题。
联合早报 | 博睿康
🌸 在花频道 · 茶馆水群 · 投稿通道
36 岁高位截瘫患者董辉在脑内植入一枚硬币大小的无线设备后，通过训练重新完成抓握、书写等动作。这套名为 NEO 的半侵入式脑机接口系统由博睿康和清华大学共同研发，已在中国获批上市，用于颈段脊髓损伤导致四肢瘫痪、手指无法抓握的成年患者。
材料显示，中国已有 32 位颈部脊髓受损患者接受相关半侵入式脑机手术；博睿康官网称，NEO 产品已完成 36 例临床手术，并于 2026 年 3 月 13 日取得注册证。脑机接口在医疗康复之外仍面临长期安全性、数据隐私、伦理边界和真实应用场景等问题。
联合早报 | 博睿康
🌸 在花频道 · 茶馆水群 · 投稿通道
👍385👏25❤8👎7🆒6🎉4😁3
欧盟要求消费电子产品在 2027 年前配备易于更换的电池，这可能迫使苹果重新设计 Apple Pencil。据彭博社消息，苹果预计将在 2027 年初发布新款 Apple Pencil Pro 和 USB-C 版 Apple Pencil，时间节点与传闻中的 M6 iPad Pro 更新一致。
目前 Apple Pencil 内部充满胶水，几乎无法维修。由于 USB-C 版本已经采用滑动机制，它可能更容易改造以容纳可更换电池，但苹果如何调整一体成型的 Apple Pencil Pro 尚不清楚。新规未涉及具体新功能，此次升级可能主要围绕电池设计展开。
AppleInsider
🌸 在花频道 · 茶馆水群 · 投稿通道
Please open Telegram to view this post
VIEW IN TELEGRAM
👍216😁31❤3🖕3👎1🙈1
7 月 13 日凌晨， Grok 服务器端新增 disable_codebase_upload 字段并返回 true 以关闭上传。
前情提要：研究员称 xAI Grok CLI 默认上传整个代码库及密钥文件
🌸 在花频道 · 茶馆水群 · 投稿通道
Please open Telegram to view this post
VIEW IN TELEGRAM
😁276🤣51😱25❤12💊8👎7🖕2🤨1🎅1
Cursor 开发 AI 代理“Sand”挑战 Claude Cowork
Cursor 正在秘密开发一款内部代号“Sand”的通用 AI 代理，直接与 Anthropic 的 Claude Cowork 和 OpenAI 的 ChatGPT Work 竞争。知情人士称，该代理可处理邮件回复、电子表格整理、工程任务等多步骤工作，目标是将用户群从开发者扩展至更广泛的企业用户。这一项目标志着 Cursor 正试图突破代码编辑器定位，向通用 AI 助手领域多元化发展。目前该产品尚未正式发布。
The Information | PYMNTS
🌸 在花频道 · 茶馆水群 · 投稿通道
Cursor 正在秘密开发一款内部代号“Sand”的通用 AI 代理，直接与 Anthropic 的 Claude Cowork 和 OpenAI 的 ChatGPT Work 竞争。知情人士称，该代理可处理邮件回复、电子表格整理、工程任务等多步骤工作，目标是将用户群从开发者扩展至更广泛的企业用户。这一项目标志着 Cursor 正试图突破代码编辑器定位，向通用 AI 助手领域多元化发展。目前该产品尚未正式发布。
The Information | PYMNTS
🌸 在花频道 · 茶馆水群 · 投稿通道
❤95🤔23👎16😁2👍1
三星开发 PC 专用 AI 芯片 GAIA，惠普联想已启动测试
三星 LSI 部门正在为个人电脑开发代号 GAIA 的专用 AI 芯片，采用 4nm 工艺，定位为"内存密集型"AI 加速器，专门处理本地生成式 AI 任务，如语言模型、实时翻译和图像生成，并非 CPU 或 GPU 的替代品。惠普和联想已收到样片并启动测试，量产最快于 2027 年开始，相关设备可能在 2027 年底至 2028 年初上市。三星还计划将 GAIA 与正在研发的存内计算（PIM）DRAM 技术深度整合，把计算移至内存内部完成。若获 PC 厂商认可，这将是三星自 2012 年 Exynos Chromebook 以来首次重返 PC 处理器市场。目前三星尚未公开证实此事，也未公布具体性能与功耗数据。
TechSpot
🌸 在花频道 · 茶馆水群 · 投稿通道
三星 LSI 部门正在为个人电脑开发代号 GAIA 的专用 AI 芯片，采用 4nm 工艺，定位为"内存密集型"AI 加速器，专门处理本地生成式 AI 任务，如语言模型、实时翻译和图像生成，并非 CPU 或 GPU 的替代品。惠普和联想已收到样片并启动测试，量产最快于 2027 年开始，相关设备可能在 2027 年底至 2028 年初上市。三星还计划将 GAIA 与正在研发的存内计算（PIM）DRAM 技术深度整合，把计算移至内存内部完成。若获 PC 厂商认可，这将是三星自 2012 年 Exynos Chromebook 以来首次重返 PC 处理器市场。目前三星尚未公开证实此事，也未公布具体性能与功耗数据。
TechSpot
🌸 在花频道 · 茶馆水群 · 投稿通道
❤66👍9🎉5🥱4😁2👎1🤣1
韩国五大银行半年耗尽全年房贷额度 85%，紧急收紧放贷
韩国五大商业银行上半年已消耗全年家庭贷款增额管理目标的 85%，其中两家银行更已突破全年目标，银行业界担忧下半年出现"贷款悬崖"。为完成监管总量要求，银行紧急收紧放贷门槛，KB 国民银行将住宅购买资金贷款上限从 6 亿韩元大幅下调至 3 亿韩元，多家银行也调低新信用贷款上限。
但受股市活跃带动，信用贷款余额仍在快速增长。截至 7 月 9 日，五大银行家庭贷款余额本月已增超 1 万亿韩元，其中信用贷款增加 7815 亿韩元。由于负存折额度内资金可随时支取，且未使用金额高达 53 万亿韩元以上，实际管控难度较大。
韩国每日经济新闻
🌸 在花频道 · 茶馆水群 · 投稿通道
韩国五大商业银行上半年已消耗全年家庭贷款增额管理目标的 85%，其中两家银行更已突破全年目标，银行业界担忧下半年出现"贷款悬崖"。为完成监管总量要求，银行紧急收紧放贷门槛，KB 国民银行将住宅购买资金贷款上限从 6 亿韩元大幅下调至 3 亿韩元，多家银行也调低新信用贷款上限。
但受股市活跃带动，信用贷款余额仍在快速增长。截至 7 月 9 日，五大银行家庭贷款余额本月已增超 1 万亿韩元，其中信用贷款增加 7815 亿韩元。由于负存折额度内资金可随时支取，且未使用金额高达 53 万亿韩元以上，实际管控难度较大。
韩国每日经济新闻
🌸 在花频道 · 茶馆水群 · 投稿通道
😱188💊85🤣9❤7😁7👏6🖕3👍2⚡1