DawnSift
订阅日报
周六 · 科技日报 · 第 5 期

2026-07-11

— GPT-5.6 证明猜想,Claude 内部首次可视化,AI 透明度迎来里程碑。

今日 TL;DR

OpenAI 发布 GPT-5.6 三档模型,Sol 在一小时内用 64 个子代理证明图论长期猜想;Anthropic 公开 Claude 内部表示空间 J-space,第三方工具 Lucid 上线;勒索软件谈判者内鬼被判 70 个月;Unsloth 推出 Qwen3.6 2.5 倍量化加速。此外 Meta 释放 Muse Spark 1.1、NVIDIA 发布压缩大模型、腾讯 HY3 获本地运行好评。

“Companies are done renting their AI.” — Hugging Face CEO Clem Delangue

头条

1

GPT-5.6 正式发布:三档模型、Sol 一小时证明 Cycle Double Cover 猜想多源事件 ×5

OpenAI 于 7 月 9 日面向公众推出 GPT-5.6 家族,分为旗舰 Sol、均衡 Terra、高效 Luna 三档。Sol 定价$5/$30 每百万 token,在 Coding Agent Index 上超越 Claude Fable 5,并使用 64 个子代理在不到一小时内自动生成并输出 Cycle Double Cover 猜想的 3 页证明,这是图论中悬置 50 年的难题。同时 Sol 在 OSWorld 2.0 上达 62.6% 且输出令牌减少 85%。为什么重要:证明 AI 已具备辅助数学前沿研究的能力,而多层次定价让开发者可按需选择性能与成本,降低实验门槛。

社区普遍欢呼 AI 里程碑,但呼吁数学界严格验证证明正确性;也有用户吐槽 Ultra 模式 15 分钟烧光 Pro 会员限额,token 消耗过猛。

2

Anthropic 揭示 Claude 内部“J-space”,独立工具 Lucid 上线

Anthropic 通过 Jacobian Lens(J-lens)技术发现 Claude 模型内部存在一个隐藏的表示空间 J-space,包含模型思考过程中持有但最终未输出的概念。第三方团队基于此推出 Lucid,一个浏览器内工具,可在小模型上实时演示推理路径。为什么重要:透明化 AI 内部推理是安全关键,Lucid 让不具访问权限的开发者也能窥探 AI“大脑”,推动可解释性大众化。

评论区震撼于 AI 内部复杂性,但也担心此类工具被用于误导或操控;尚需验证模型规模的通用性。

3

勒索软件谈判者勾结黑客坑害客户,被判 70 个月

前 DigitalMint 勒索软件谈判员 Angelo Martino 向 BlackCat 勒索团伙泄露受害者机密信息以最大化赎金,被判处 70 个月监禁,政府没收超 1000 万美元加密资产及物资。受害者共计支付超 7500 万美元赎金。为什么重要:安全供应链信任危机再证,开发者在选择安全服务商时必须评估内鬼风险。

评论区谴责背叛行为,认为此案暴露了勒索软件生态中更深层的腐败。

4

Unsloth 实现 Qwen3.6 2.5 倍量化加速,适配 4bit 张量核心

Unsloth 团队发布基于 Qwen3.6 27B 和 35B-A3B 的 NVFP4 量化方案,采用 W4A4 实际 4bit 张量核心计算,相比 NVIDIA 官方 NVFP4 量化提速 2.5 倍(27B)及 1.56–1.79 倍(35B-A3B),且精度无损。额外提供 FP8 KV Cache 校准,支持 2 倍长上下文。为什么重要:大幅降低本地运行大模型的硬件需求,开发者可在消费级 GPU 上获得接近旗舰的性能。

社区普遍好评,期待更多开源模型获得类似优化。

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

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

免费订阅

AI 动态

开发与开源

QuadRF can spot drones and see WiFi through my wall

QuadRF:基于树莓派 5 和 FPGA 的相控阵射频工具,可穿墙检测 WiFi 和跟踪无人机,开源社区引发安全讨论。

评论区普遍认为QuadRF在无人机探测和射频信号分析方面有潜力,但也有人指出其频率范围窄、价格偏高。

社区热议

Write code like a human will maintain it

“像人类会维护那样写代码”——LLM 时代是否应牺牲可维护性?社区分歧:多数认为仍需注重,少数主张 AI 应优先效率。

多数人认为AI生成代码仍需注重可维护性,但也有人认为AI时代应优先效率,不必再为人类维护而优化代码。

Good Tools Are Invisible

“好工具是隐形的”——反对将工具缺陷包装成解谜游戏,社区共鸣工具应减少摩擦。

评论区普遍认同好工具应减少摩擦、不引人注意,但也有人认为工具的高效性取决于个人熟练度与使用场景。

GitHub Trending

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.

OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation required.

Give Claude the ability to watch any video. /watch downloads, extracts frames, transcribes, hands it all to Claude.

microsoft/flint-chartTypeScript★ 3

🪄 Flint is a visualization language that lets AI agents reliably create expressive, good-looking charts from simple, human-editable chart specs.

更多值得一看(内容池 38 条)
Qwen 3.6 Q2-FP8 Terminal Bench 2 and GPQA Scores

TL;DR: Quantization has a marked impact on agentic performance but little effect on knowledge. I manage a small HPC cluster at a university, and we have recently begun running common benchmarks to help our users understand the effects of quantization. We have just completed the runs on the Qwen 3.6 quantizations and posted the results on our website: The results are consistent with what most people would expect: knowledge, as measured by GPQA Diamond, varies very little across quantizations. GPQ

According to DataBricks, pi-coding-agent is ~2x cheaper than CC/Codex, GLM 5.2 on par with Opus 4.8 high

tl;dr pi-coding-agent (bash for everything/minimum tools) is up to 2x cheaper and even has higher pass rate according to their own benchmarks across the board. GLM 5.2 is above GPT 5.5 high and xhigh, on par with Opus 4.8 high. This is yet another "in our use case"-type benchmark but it comes from DBRX who actually trained a sizeable LLM in the past, and I think they know what they do. I think their analysis makes sense, and GLM 5.2 genuinely do feel on par with Opus 4.6/4.8 for most coding task

Has anyone tested how quantization hits different capabilities separately? My results are surprising.

I've been running some systematic tests on a few models comparing FP16 vs various GGUF quant levels, and instead of looking at one aggregate benchmark score, I broke it down by capability: math (GSM8K), code (HumanEval), reasoning (ARC-Challenge), and knowledge recall (MMLU-Pro). The results are way more nuanced than "Q4 loses X% quality." For example on one 27B model, Q4_K_M barely moved the needle on conversational/knowledge tasks (under 2% degradation) but dropped multi step math accuracy by

Apple sues OpenAI for allegedly stealing hardware secrets

Apple has sued OpenAI, alleging that engineers stole Apple secrets to advance the AI startup's hardware plans. In its complaint, Apple says it uncovered "a pattern of theft of Apple's trade secrets by OpenAI employees who were formerly at Apple." In addition to OpenAI, the lawsuit also names IO Products - Jony Ive's hardware startup, […]

How Deutsche Telekom is rewiring telecommunications with AI

How Deutsche Telekom is becoming an AI-native telco with OpenAI-transforming customer service, employee workflows, network operations, and the future of voice.

Training an LLM from scratch on 1800's texts (160GB dataset)

Hi everyone, A year ago I began pre-training language models exclusively on 1800’s London data. Recently I have completed my largest dataset ever, containing 40B tokens or 160GB of 1800-1875 english data from England and the United States. I will soon train a 2B parameter model on it, but for now I’ve trained a 500M parameter evaluation model on a 5B token sample. I have also fine tuned the eval model on 1800’s Q&A pairs (using synthetic questions and answers pulled straight from the dataset), s

Speculative cache warming: warms your cache while you type your prompt, save 10-20s of wait time

Hello, I'm continuously working on OpenFox (MIT-licensed - no business model whatsoever), which is a harness dedicated to local AI, mostly for coding but well you know, this can do anything. I'm using it every day with my 2x Spark cluster, mostly with DS4 Flash these days. I noticed a small opportunity for improvement, nothing revolutionary but it kinda clicked at some point. When you create a new session and start typing your prompt, there is this time where your local rig does nothing. Then yo

Has anyone created a "Local LLM Survival Kit"?

Here's what I'm thinking about: A USB thumb drive that you can plug into any PC or laptop, and immediately get a usable knowledge base powered by an LLM, without requiring an Internet connection. I believe the technology for this should be ready. Rough architecture: llama.cpp binaries for CPU-only inference, for Windows, macOS, and Linux (each for all major architectures, a few hundred MB total) Qwen3.5 35B-A3B @ Q4_K_M (22 GB, for systems with >= 32 GB RAM) Gemma 4 E4B @ Q4_K_M (5 GB, for syste

How fast can I get a voice assistant to respond without a GPU? Qwen3-ASR and Kokoro-TTS ONNX on CPU.

Been testing out the ONNX models to see how far I can push the CPU to take on ASR and TTS, so the GPU is completely free for running the LLM. The video attached shows me testing latency on a 2022 Macbook M2 and an AMD Ryzen 9 7900. This is just running the regex fast commands, so most of the latency (apart from grabbing the spotify music) should be from the ASR and TTS. These ONNX models are really great. The M2 is mostly usable, the Ryzen 9 is blazing fast. The two models I am running are: Daum

I built barebrowse: give a local-model agent a browser without Playwright — pruned ARIA snapshots instead of raw HTML (far fewer tokens)

Author here, sharing something I built. If you run agents on a local model, feeding a whole page as raw HTML burns your context fast. barebrowse turns a URL into a pruned ARIA snapshot — the semantic tree with nav/ads/boilerplate stripped — so each page is a fraction of the tokens. Useful when the context window is your bottleneck. No Playwright / bundled Chromium — it drives a browser you already have (Chrome/Brave/Edge/Chromium) directly over CDP. Pruned ARIA snapshot instead of raw HTML/DOM —

HiLS-Attention is a chunk-wise sparse attention mechanism that learns chunk selection end-to-end under the language-modeling loss, enabling native sparse training for efficient long-context modeling. This repository hosts the 7B checkpoint continued-trained on top of an OLMo3-style backbone. Model introduced in the paper Hierarchical Sparse Attention Done Right: Toward Infinite Context Modeling . Model Description Naive block sparse attention selects top-k chunks by their exact chunk mass, but c

QANTIS: Hardware-Calibrated Sequential POMDP Belief Updates on IBM Heron

arXiv:2607.06760v1 Announce Type: new Abstract: Autonomous systems under partial observability act on beliefs, not raw sensor events. QANTIS treats the quantum processor as a calibrated belief-update service in that loop: it receives a prior and an observation model, estimates the rare-event evidence term, and returns an ordinary posterior to a classical planner. This paper asks whether that service can be reused across a sequential Tiger POMDP horizon on present IBM Heron hardware without corru

Show HN: Devthropology – Better Insights for GitHub Repos

Devthropology is a passion project built on top of GitHub pull data. The name is a play on developer anthropology. Pull request data can be cut a lot of ways. The functionality has been built out of curiosity as I want to see different insights into codebases that I work on. Some of the data is typical and other parts I haven't seen elsewhere. I think of this as an improved GitHub Insights page, with faster performance, more detail, and a focus on how work moves through a codebase. The main enti

Locally run assistant on a w-10 board on a local Xiaozhi server

Hello, Locallama! "long-time" member here, from the days when the max context window doubled from 2K to a whooping 4K! Now I feel like I am living in a dream world, doing things I could not have imagined back then. This is Belochka, or Bella, running on a Mac and projected to an ESP 32 w-10 board, the "Rune Board" because runes :-). In the background is Qwen 3.6 35B 3AB q4_k_m gguf on LM Studio. She kinda mentioned her capabilities, but pretty much she is like a personal assistant on a Mac. She

DeepSeek v4 Flash on 4090 + DDR5, my experience

Disclosure: No AI was used to write this My specs are: RTX 4090 128 GB DDR5 5600 MT/s Intel Core Ultra 7 270k Running nvidia-595 on ubuntu 26.04 with latest llama.cpp build (pulled and rebuilt this morning). Tried a lot of things, ended up running unsloth's UD-Q2_K_XL quant with command: taskset -c 0-7 /home/kevin/ai/llama.cpp/build/bin/llama-server -lv 4 -m /home/kevin/ai/models/DeepSeek-V4-Flash-UD-Q2_K_XL-00001-of-00003.gguf --temp 1.0 --top-p 1.0 --min-p 0.0 -t 8 -fitc 64000 -fa off -np 1 Sp

As part of our ongoing efforts to strengthen our safeguards for advanced AI capabilities in biology, we’re evolving our …

As part of our ongoing efforts to strengthen our safeguards for advanced AI capabilities in biology, we’re evolving our Bio Bug Bounty into an ongoing private program, known as the OpenAI Bio Bug Bounty program and doubling rewards to $50K. We’re inviting researchers with experience in AI red teaming, security, or biosecurity to try to find a universal jailbreak that can defeat our predefined biosafety challenge against OpenAI’s frontier models.

Nvidia’s biggest RAM supplier just had a trillion-dollar debut on Wall Street

As the AI boom boosts demand for RAM, SK Hynix - one of the world's biggest suppliers of memory chips - launched on Wall Street Friday. The South Korean chipmaker opened at $170 per share and raised $26.5 billion, surpassing Alibaba's record as the largest debut of a foreign company, according to reports from The […]

Google Research Introduces SensorFM: A Wearable Health Foundation Model Pretrained on One Trillion Minutes of Sensor Data

SensorFM, a wearable health foundation model from Google Research, Google DeepMind, and university collaborators. We walk through its ViT-1D masked-autoencoder backbone, pretrained on more than one trillion minutes of unlabeled sensor signals from 5,000,000 consented participants. We examine the co-scaling results across four model sizes and four data volumes, including the case where capacity outruns data. We show how frozen embeddings plus a PCA-50 linear probe beat feature-engineered baseline

Grounding Spatial Relations in a Compact World Model: Instruction Leakage and a Goal-Free Dynamics Fix

arXiv:2607.06925v1 Announce Type: new Abstract: Compact world models that condition on a language goal promise to ground relations such as ``put the red block left of the blue block'' using a sparse set of explicit \emph{reference anchors}. We ask when such references actually ground a relation, and identify a trap: a goal-conditioned predictor reaches a striking $0.90$ relation-readout accuracy, yet this is \emph{instruction transcription}, not perception. Withholding the goal collapses it to c

Homelable has just been updated to v3.0.0

A few months ago, I introduced you my project Homelable, a design tool intended to make it easier to import and document our self-hosted infrastructure via diagram. And theses few month was damn busy. The response was honestly way bigger than I expected (we're past 2k stars now, still feels a bit unreal), and most of what's in this release came straight out of your issues and PRs. So, thanks for that. So, after 2.2k stars, +100 issues (mostly opened by you) and 33 releases : Homelable v3.0.0 is