DawnSift
登录订阅日报
周日 · 科技日报 · 第 6 期

2026-07-12

— GPT-5.6 刷屏,Llama 社区百花齐放,国产算力迈入十万卡时代。

今日 TL;DR

GPT-5.6 一小时解开 50 年数学猜想,医生评价其回答错误少于人类。OpenAI 全量上线 GPT-Live 并翻倍语音配额,同时进军家庭场景。中国首个十万卡国产算力集群落成。PgBouncer 通过 so_reuseport 将吞吐量提升 4 倍。CISA 披露自己都未准备应急手册。

医生发现 GPT-5.6 回答的错误比医生写的更少。——@sama

头条

1

GPT-5.6 一小时证明 50 年数学猜想,医学表现优于人类,全量上线 GPT-Live多源事件 ×4

OpenAI 研究院 Ethan Knight 宣布,GPT-5.6 Sol Ultra 在不到一小时内完成了存在半个世纪的循环双覆盖猜想证明,通过 64 个子 agent 并行将原本可能一整天的任务压缩到一小时。同时,Sam Altman 引用医生研究称,医生认为 GPT-5.6 回答的错误比医生手写回答更少。GPT-Live 已对所有 ChatGPT 用户全量发布,本周末语音配额翻倍。

Reddit 社区对数学证明反响热烈,多位研究者称新 Prompt 技巧(不替模型规定解法、钉死验收标准)值得学习。也有用户调侃 Sam Altman 用“Elon 又迷恋我”来证明模型最强。

2

OpenAI 拓展家庭场景,LLM 个性可控性新研究

OpenAI 正招聘面向家庭、看护者及老年人的产品经理,ChatGPT 用户中 35 岁及以上占比从 26% 升至 31%。同时,arxiv 论文《Persona Cartography》提出用 OCEAN 框架在权重空间中测量和控制 LLM 的个性特质(开放性、尽责性等),训练低秩适配器来抑制或放大特定人格。

Hacker News 评论认为 AI 个性控制对安全性重要,但也担心人格操纵伦理风险。

3

中国首个十万卡全国产 AI 算力集群落成

中科曙光在郑州宣布曙光 8000(登峰)正式落成,使用十万张国产加速卡,支持从 FP64 科学计算到万亿参数大模型训练的全精度覆盖。集群采用“原生超智融合”架构,2024 年研制、2025 年完成工程,已跑通 300 余项应用。

4

PgBouncer 吞吐量提升 4 倍:so_reuseport 与多进程架构

ClickHouse 团队在 Managed Postgres 中运行多进程 PgBouncer,每个进程绑定同一端口并启用 so_reuseport,由内核均衡分发连接。16 vCPU 机器上吞吐量达单进程 4 倍,突破 PgBouncer 单线程瓶颈。Hacker News 评论区普遍认为这是最实用的扩展方法。

评论区多数赞同 so_reuseport + peering 方案,但也有声音认为 HAProxy 或多实例更灵活。

5

CISA 安全事故:应急手册竟在事件中临时编写

美国网络安全局 CISA 在 7 月 10 日的复盘报告中承认,5 月一名承包商将敏感密钥暴露在公开 GitHub 仓库后,CISA 没有预设应急手册,团队在事件初期“不得不花时间编写”。报告强调应提前准备所有预期场景的应急手册。

Hacker News 评论批评联邦机构安全演练不足,称“连 CISA 自己都做不到合规”。

每天 3 分钟,读完全球科技圈

免费订阅日报直达邮箱;注册后还可收藏、👍/👎 个性化你的排序。

免费订阅

AI 动态

Infinity-Parser2 Technical Report

Infinity-Parser2 发布:可控数据合成管线+多任务强化学习,实现端到端文档解析,开源 500 万样本双语语料。

Agentic Neural Architecture Search

Agentic Neural Architecture Search:LLM 生成种子架构并分解为“槽位架构”,自动定义任务特定搜索空间。

开发与开源

Prefer strict tables in SQLite

推荐 SQLite 默认启用 STRICT 表:避免类型混乱,多数 Hacker News 评论支持默认严格。

多数评论支持SQLite默认启用严格表模式,认为动态类型易导致数据错误,但也有人认为非严格模式在嵌入式场景下更灵活。

Networking and the Internet, from First Principles

《从第一原理理解网络与互联网》长文,以信号转换视角解释通信全过程。

评论区多数人认为文章内容优质、解释清晰,但也有人认为其风格或动画可能受AI影响。

社区热议

The U.S. tech industry is increasingly anxious about the rising power and competitive price of open-source AI models from China — and whether the Trump administration will respond with yet another executive order | Politico

Politico 报道美国 tech 行业对中国开源 AI 模型崛起担忧,讨论特朗普政府是否再发行政令。

Who manages the agents?

《谁来管理 Agent?》文章引发热议:多数评论认为 AI 代理需要人类管理,但管理权不应被少数精英垄断。

评论区普遍认为AI代理需要人类管理,但管理权不应被少数精英垄断;也有人担忧企业控制会取代开放共享。

Apple just sued OpenAI. And the details are wild.

Apple 起诉 OpenAI 挖角硬件高管并涉嫌窃取电池/SIP 等零件细节,社区称“细节太野”。

技术文章与资源

GitHub Trending

langchain-ai/openwikiTypeScript★ 3

OpenWiki is a CLI that writes and maintains agent documentation for your codebase.

AI-powered job application framework built on Claude Code. Fork it, fill in your profile, and let Claude evaluate jobs, tailor CVs, write cover letters, and prepare you for interviews.

更多值得一看(内容池 21 条)
Grok Build CLI uploads your whole repo — full git history + .env secrets — to xAI's cloud, and the opt-out doesn't stop it (wire-captured)

I ran Grok Build CLI (v0.2.93) through mitmproxy. It uploads your entire repo as a git bundle (full history) to xAI's Google Cloud — independent of what you open. With the prompt literally "do not read or open any files," a file I planted came back verbatim when I git clone -d the captured upload. Separately, files it reads (incl. a .env with API_KEY / DB_PASSWORD ) go to cli-chat-proxy.grok.com verbatim. Turning off "Improve the model" doesn't stop it — that toggle governs training, not upload.

Ant Group’s Robbyant Unveils LingBot-VA 2.0: A Causal Video-Action Model Built Natively for Physical AI

Ant Group's Robbyant has released the LingBot-VA 2.0 technical report — a Physical AI video-action foundation model built from scratch for embodiment rather than fine-tuned from a video generator. It predicts future states ahead of execution through Foresight Reasoning, re-grounds on every real observation, and reaches 225 Hz asynchronous control. We break down the causal DiT, the sparse-MoE video stream, the semantic visual-action tokenizer, and where the paper's own numbers don't line up. The

Why are MoE models so belittled?

E.g "Qwen 3.5 122B is just 10B active, so it's no where close to the dense 27B model" That is the main sentiment around here and it puzzles me. If a 122B is just worth 10B, then why does model providers bother creating an MoE model when they could've just released a dense 10B model? Heck the 10B dense would run faster than the 122B MoE (no routing overhead), which negates the supposed ( only advantage of MoE is speed ) argument. It sure is not that simple. I mean yes it's only 10B active at a ti

Ultra budget 20GB vram with 448GB/s for $100 bucks.

Here is the upper limit of what can be done with $100 bucks worth of video cards. You can have 3 concurrent users with plenty of context, better speeds or close enough speeds than a bunch of cards that provide less VRAM and cost 4+ times. 0.00.008.388 I log_info: verbosity = 3 (adjust with the `-lv N` CLI arg) 0.00.008.391 I device_info: 0.00.089.439 I - CUDA0 : NVIDIA P102-100 (10144 MiB, 10013 MiB free) 0.00.197.645 I - CUDA1 : NVIDIA P102-100 (10144 MiB, 10013 MiB free) 0.00.197.656 I - CPU :

I created a super harmful model ! :D (by tweaking it's J-Space!!!)

Soooo! Since Anthropic share their Jacobian-Lens a few days ago I went on and made a tool based on it which adds the possibilité to export a model which will have the same behavior after tweaking it's J-Space. This means manually alter the behavior and abliterate by using a human brain. I'm still working on it but couldn't wait to produce something first. SO After finally getting a working codebase I immediatly jumped and tried to make pretty pervy model PURELY in the name of science. Let me int

Alignment Plausibility: A New Standard for Assuring AI in Healthcare

arXiv:2607.07766v1 Announce Type: new Abstract: Large language models (LLMs) have become significant providers of mental health support, yet they remain products of an attention economy whose operational and commercial targets favour sustained engagement over the friction that effective psychological support often requires. Developers' safety responses have been largely reactive, addressing the most visible and acute harms while subtler, longer-term patterns of risk (e.g., dependency, boundary e

Adversarial Social Epistemology for Assemblies of Humans and Large Language Models

arXiv:2607.07760v1 Announce Type: new Abstract: We outline an adversarial social epistemology (ASE) for densely interactive communicative landscapes in which public assertions are scaffolded by chains of testimony, inference, institutional certification, and tacit trust. In such landscapes, agents have incentives and affordances to distort, color, omit, fabricate, or strategically under-specify information for private, reputational, rhetorical, or material gains. We argue that these phenomena ar

Meta removes controversial AI feature on Instagram after backlash

"Our intent was to provide a useful creative tool and to give people control over whether their public content could be referenced in this way," the company said in a blog post. "We've heard the feedback that this feature missed the mark, so it's no longer available."