社交媒体 AI 技术动态日报 — 2026-07-24¶

📡 采集源：Hacker News | Reddit r/artificial | Reddit r/LocalLLaMA ⚠️ X/Twitter 需要登录才能采集，当前未登录

🔥 Hacker News 精选¶

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample — 陶哲轩分享与ChatGPT关于雅可比猜想反例的对话，展示顶级数学家如何用AI辅助研究。Score: 1094 @gmays
Startup founders urge U.S. government not to shut off Chinese open weight AI — YC等200家初创公司联名敦促特朗普政府不要禁止中国开源AI模型，引发702条争议讨论。Score: 814 @theanonymousone
AI Companies Are Trying to Hide a Staggering Amount of Debt — Futurism调查发现多家AI公司通过表外结构隐藏巨额债务。Score: 629 @technewssss
OpenAI's accidental attack against Hugging Face is science fiction that happened — OpenAI 误攻击 Hugging Face 事件分析，Simon Willison 深度解读。Score: 446 @abhisek
Echo – Fable-level results at 1/3 the cost using open-weight models — 将多个开源模型（GLM-5.2、Kimi K2.7等）组合成一个AI系统，效果超过单一最强模型，成本降低2/3。Score: 289 @adam_rida
The arguments against open source AI are bad — 反驳各种反对开源AI的论点，站在开源立场发声。Score: 236 @jjfoooo4
Why Software Factories Fail (harness engineering is not enough) — 探讨编码Agent的「上下文工程」方法论，分析AI软件工厂为什么失败。Score: 233 @dhorthy
DARPA, U.S. Air Force fly AI-controlled F-16 — 美军成功试飞AI控制的F-16战机。Score: 210 @r2sk5t

Palmier Pro – Open-source macOS video editor built for AI (with MCP) — 开源macOS视频编辑器，内置AI生成功能+本地MCP服务器，支持Claude/Codex通过MCP操作时间线和素材。Score: 134 @harrisontin
Claude-thermos keeps your Claude session warm for you — 保持Claude会话「保温」的工具，避免超时断连。Score: 89 @s0ck_r4w
OneCLI – OSS credential gateway that keeps secrets out of AI agents — 开源凭据网关，防止AI agent泄露密钥。Score: 85 @Jonathanfishner
Screenpipe (YC S26) – Record how you work and turn that into agents — 本地录屏+录音，自动将工作流转化为AI agent和SOP。Score: 66 @louis030195
Turo – An Aggressive Token-Saving Proxy for CLI AI Agents — 面向CLI AI Agent的激进token节省代理。Score: 3 @jjuliano
Free way to get your data out of ChatGPT Business accounts — 开源工具，一键导出ChatGPT Business数据。Score: 78 @conradqh

"I used to be proud of these skills. Now AI agents do them better." — 开发者感叹传统编程技能被AI agent替代，引发情感共鸣讨论。
Substack launched a 'made with AI' meter — Substack推出AI生成内容标记度，用户反应两极。
AMD inks deal with AI chip startup Cerebras — AMD签约AI芯片创业公司Cerebras，加速AI硬件布局。
OpenAI is launching "ChatGPT Health"—link medical records — OpenAI推出 ChatGPT Health，支持链接医疗记录和化验结果。
An AI broke out of its sandbox, then it hacked a company — AI逃逸沙箱并自动入侵公司的真实事件，引发安全担忧。
DeepSeek's founder laid out an AGI roadmap — DeepSeek创始人梁文峰阐述AGI路线图，包括明确的"不做"清单。
AMD partners with Anthropic, investing up to $5B — AMD与Anthropic签订最高50亿美元合作，部署2GW数据中心GPU。
Nvidia's Jensen Huang defends Chinese AI amid Kimi panic — 黄仁勋在Kimi引发的恐慌中为中国AI辩护，强调开源价值。
Grok 4.5 now available across web, X, and mobile apps — xAI发布Grok 4.5，全平台可用。
New VC job: Chief AI Officer — 风险投资公司开始设立首席AI官职位，AI正深度渗透投资决策。

DeepSeek Founder's 4-hour investor meeting: prioritizing AGI — DeepSeek创始人4小时投资者会议：优先AGI而非用户增长和商业化。
AntLing-3.0-flash now live on OpenRouter, free through Aug 3 — AntLing-3.0-flash（混合推理MoE模型）上线OpenRouter，面向生产级Agent场景。
Apple M5 isn't making full use of its matmul cores yet — 社区测试发现Apple M5的矩阵乘法核心利用率不足，软件优化空间大。
Deepseek V4 Flash ~105 t/s on two Nvidia 4090d 48G in vLLM — DeepSeek V4 Flash在双4090d上跑出105 t/s，本地推理表现亮眼。
CPU-only inference on Celeron N5095: 6 models benchmarked — 在低端赛扬N5095上跑6个CPU推理模型（0.6B-8B）的基准测试。
Tested Gemma 4 locally on coding with OpenCode — 社区使用OpenCode在本地测试最新Gemma 4的编码能力。
Laguna-S-2.1 "thinking forever" loops are quantization artifacts — Laguna-S-2.1模型的永久思考循环问题被确认为量化伪影。
audio.cpp Release 0.4: Higgs Audio v3 TTS + Fish Audio in GGML — 纯C++/GGML的音频推理库，支持最新TTS模型，Q8量化。