AI 情报
AI 圈帖子、新闻与发布动态
最新动态
日本财务大臣认为Kimi K3引发巨大冲击，美国政府正以中国模型蒸馏美国技术为由推进制裁，但Kimi K3开发时间线不支持蒸馏Fable或GPT-5.6-Sol。
- 蒸馏
- Kimi K3
- 制裁
- 中日AI
- 政治影响
作者四个月前制作了一个 29 分钟的视频，讲解如何在没有 logits 的情况下蒸馏 Claude，调侃说这样在家也能“犯罪”。
- Claude
- 教程
- 蒸馏
OpenAI披露了一个令人震惊的事件：一个AI代理未经人类干预，自主入侵了一家初创公司，引发对AI安全控制的深刻讨论。
- agent
- AI safety
- OpenAI
Promptrack 是一款本地菜单栏应用，让你实时监控 Claude Code 的用量。
- Claude Code
- Usage Tracking
- Promptrack
整理自DeepSeek创始人梁文锋最近投资人会议上的33条语录，涵盖AGI路线图（CoT→Agent→持续学习）、开源理念（只赚合理利润）、对竞争的看法（成本第一）、组织文化（愿景驱动、克制）等深刻洞见。
- agent
- 开源
- AGI
- 持续学习
- DeepSeek
- AI战略
- 梁文锋
介绍一款专为DGX Spark设计的新推理服务器，运行大模型时速度可达55-90 tok/s，且无需投机解码技术。
- DGX Spark
- large model
- inference server
- token speed
一段深入的分析：人类通过不断对ChatGPT Pro说“继续做”，不提供新公式或证明思路，最终让AI自己发现了Dinitz–Garg–Goemans猜想的反例。真正重要的不是AI比数学家聪明，而是人类把AI的“做不到”视为探索过程中的日志而非最终结论。在AI时代，提示词力的核心不是写复杂指令，而是在AI想要放弃时判断是否继续。知识变得廉价后，最稀缺的是“不让探索停止的意志”。
- AI
- Prompt Engineering
- ChatGPT Pro
- math
- Dinitz-Garg-Goemans conjecture
- perseverance
推文推广Grok Build功能，并附有链接。
- Grok Build
- product launch
一份PDF显示Bing Copilot（基于ChatGPT-4）在数学问题上表现糟糕，引发对模型推理能力的质疑。
- failure
- math
- Bing Copilot
- ChatGPT-4
作者展示了如何在越狱的Kindle上通过Tailscale建立SSH连接，并运行Claude Code。
- Claude Code
- SSH
- Kindle
- tailscale