09:29
官方一手arXiv: DeepSeek@Ahmed Ryan, Md Erfan, Akond Ashfaque Ur Rahman, Md Rayhanur Rahman
推荐理由：这几个开源模型里Gemma 4最会写Coq证明，但100道题也只过12道，别指望它们太靠谱。
全部 AI 动态
AI 相关资讯全量信息流
8月7日
09:29
一项初步研究让6个开源权重LLM各尝试证明CoqStoq基准中的100个定理，每个定理只有一次机会，温度设为0，并用Coq内核验证结果。Gemma 4成功验证12个定理，Llama 3.3验证8个，DeepSeek Coder V2 Lite验证1个，Qwen 3.5、Mistral Small 3.1和GPT-OSS均未通过验证。全部21个成功结果覆盖15个不同定理，其中11个是标准Coq策略未能解决的。所有被验证的定理都只有短或中等人写参考证明，长证明定理无一成功。600次尝试中共产生21个内核验证证明，总体成功率3.5%。
09:28
09:28
官方一手arXiv: DeepSeek@Zhuo Xie, Haoze Ni
精选
推荐理由：这篇论文解决AI摘要瞎编的问题，用多源证据+多模型投票来纠错，在SummEdits上验证有效，做新闻聚合的可以看看。
09:25
09:25
官方账号arXiv cs.AI@Modhurita Mitra, Jan-Willem Versteeg, Maarten D. Schermer, Shiva Nadi Najafabadi, Marie L. De Bruin, Lourens T. Bloem
推荐理由：这篇论文用Claude Opus 3从NICE文档里自动提取结构化信息，F1超90%，速度比人工快30倍，做医疗评估的朋友可以看看。
09:23
09:23
官方账号arXiv cs.AI@Eoin Cummins, Zhongyi Huang, Alexandre D'Hooge, Zhuoro Mo, Yaolong Ju
推荐理由：这篇论文搞了个流行音乐专用的音频转乐谱数据集，用MuQ预训练模型，古典乐错误率从15.3%降到4.98%，还公开了代码，想做的可以直接上手。
09:22
09:22
官方账号arXiv cs.AI@Saugat Adhikari, Ashok Prasad Neupane, Pramish Paudel, Ajad Chhatkuli, Danda Pani Paudel
推荐理由：iARCS 用强化学习让 3D 场景生成器听懂自然语言要求，走路、够东西这些约束都能满足，还能提升基础生成器。
09:21
09:21
官方账号arXiv cs.AI@J. de Curtò, Dayani Plasencia, Diego Sánchez, I. de Zarzà
推荐理由：这篇论文用消融实验戳穿了VLM做零样本控制的假象，多数模型其实没在看图像。还给出了一个能到0.973准确率的守护方案，想搞具身智能的值得看。
09:18
09:18
官方账号arXiv cs.AI@Thomas H. Costello, Nathaniel Rabb, Michael Nicholas Stagnaro, Gordon Pennycook, David Rand
推荐理由：这篇论文让LLM当对话对手，跟人聊几轮就能把阴谋论信念聊下来，比干看事实清单管用，效果还能延续一两个月。
09:16
09:16
Genspark@genspark_ai
Genspark@genspark_ai精选
推荐理由：Genspark 算账：token 单价降了 10 倍，智能体任务烧 token 太狠，总账单反而涨。省钱得盯单次任务成本，别只看单价。
09:12
09:12
官方账号Replit@Replit
官方账号Replit@Replit推荐理由：Replit组织了一万四千多人的AI直播课，直接破了吉尼斯纪录，看看他们怎么做到的。
09:11
09:11
Tw93@HiTw93
Tw93@HiTw93推荐理由：Kami v1.12更稳了，排版前先规划，只动你让它动的地方，构建失败也不毁旧PDF，适合经常处理文档的人。
08:47
08:47
Notion@NotionHQ
Notion@NotionHQ推荐理由：看看Edgecity怎么用Notion管1000人的快闪村，日历15分钟一更，还有智能体帮忙同步信息。
08:46
08:46官方账号Replit@Replit
官方账号Replit@Replit推荐理由：Replit 现在能用 Okta 或 Entra ID 单点登录，让智能体配置就行，10月1日前不收钱，试试呗。
08:45
08:45IT之家（博客/媒体）
推荐理由：DeepSeek API 要大涨价，OpenAI 免费用户用上 GPT-5.6 Luna，字节还打算训 5 万亿参数模型，这条早报全都有。
08:43
08:43
Geek@geekbb
Geek@geekbb推荐理由：OpenAI 把 GPT-5.6 Luna 免费了，明天起无限聊，Plus/Pro 用户还能用 Sol 的推理模式。
08:41
08:41IT之家（博客/媒体）
精选
推荐理由：AMD 要收购 Taalas，这家公司做定制 AI 推理芯片，比 GPU 快几千倍，但绑定单个模型，适合想了解 AI 芯片新路线的人。
08:16
08:16
Amjad Masad@amasad
Amjad Masad@amasad推荐理由：Amjad Masad这帖子把无代码的局限说得很清楚：Airtable的起落证明光靠界面拼不出任意软件，最终还得回到代码本身。
08:11
08:11
a16z@a16z
a16z@a16z71°
推荐理由：Simon Mo是vLLM作者，他讲开源权重模型怎么在成本和控制上赢过闭源API，还吐槽专有API宕机问题，适合做线上服务的开发者。
08:10
08:10
Paul Graham@paulg
Paul Graham@paulg推荐理由：Paul Graham说，想让LLM写代码更省token，就换更抽象的语言，连前缀表示法它也不怕。
08:06
08:06IT之家（博客/媒体）
82°
推荐理由：OpenAI下周可能要发Astra，是GPT-4.5以来最大模型，能解10道数学难题，还能调度智能体干活。
07:50
07:50
Fireworks AI@FireworksAI_HQ
Fireworks AI@FireworksAI_HQ推荐理由：MongoDB周四旧金山办黑客松，半天做demo能上台秀。Fireworks AI吆喝，想玩可报名。
07:49
07:49IT之家（博客/媒体）
82°
推荐理由：Jeff Dean离开谷歌另起炉灶，叫上几位老同事搞了个AI科研公司Discovery Loop，目标是把实验自动化，加速科学发现，Alphabet还投了钱。
07:48
07:48IT之家（博客/媒体）
推荐理由：SpaceX 和特斯拉投 168 亿美元建 AI 芯片厂，还要自建发电厂供电，不接得州主电网。有看头。
07:46
07:46
官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb推荐理由：OpenAI的人说GPT-5.6在个人财务上更强了，还有5.2的实验结果和5.3到5.5的基准对比，想了解AI理财能力的可以看。
07:44
07:44IT之家（博客/媒体）
76°
推荐理由：英伟达HBM不够用，Rubin Ultra可能要降配，从HBM4E降到HBM4。想了解性能缩水多少，看这个。
07:41
07:41Fireworks AI@FireworksAI_HQ
Fireworks AI@FireworksAI_HQ推荐理由：想一天做出 demo 上全球舞台，8月13日旧金山 Pier 48 有 MongoDB 和 Fireworks AI 联办的黑客松，报名链接在活动页。
07:32
07:32
techcrunch@Lucas Ropek
techcrunch@Lucas Ropek76°
推荐理由：OpenAI要出智能音箱了，说卖300到400美元，比HomePod还贵，想知道它凭啥卖这么贵可以关注下。
07:28
07:28
Richard Socher@RichardSocher
Richard Socher@RichardSocher推荐理由：Richard Socher的Recursive AI请来Cohere前SVP Finance Laura Moss当CFO，谷歌干过7年，负责管钱，大模型烧钱节奏要加快。
07:22
07:22IT之家（博客/媒体）
76°
推荐理由：古尔曼说 OpenAI 和苹果前设计师在搞甜甜圈 AI 音箱，纯语音操作，2027 年卖 300 美元起。
07:17
07:17IT之家（博客/媒体）
推荐理由：英伟达把cuFile开源了，SSD能直接给GPU喂数据，游戏和AI推理都不容易卡了，搞存储的可以看看。
07:13
07:13官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb71°
推荐理由：OpenAI 给 Codex 加了自动安全审查能力，直接在每个 GitHub PR 上挑毛病并写评论，团队不用手动盯代码了。
07:12
07:12官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb精选72°
推荐理由：Black Hat 上这场演讲把 OpenAI 和 Hugging Face 那次风波从头到尾捋了一遍，适合想知道安全团队怎么复盘的人。
07:11
07:11
Jerry Liu@jerryjliu0
Jerry Liu@jerryjliu0推荐理由：Explabs AI上线YC了，做AI任务自动化优化的，说成本能砍97%、质量还能涨50%，听着挺猛，来瞅瞅。
06:56
06:56IT之家（博客/媒体）
81°
推荐理由：OpenAI 把免费用户默认模型换成了 GPT-5.6 Luna，下周起无限次聊天随便用，Plus 用户还能用滑动条调思考深度。
06:45
06:45
官方账号Cohere@cohere
官方账号Cohere@cohere推荐理由：Cohere和滑铁卢大学出了个AI转型管理证书，专门教企业怎么安心落地AI，想学这类技能可以关注。
06:41
06:41
Google AI Developers@googleaidevs
Google AI Developers@googleaidevs推荐理由：Antigravity 官方发了一组命令，能帮你顺手搞定 CLI 导航、后台任务和研究子代理，省得来回折腾。
06:40
06:40
官方账号Simon Willison@simonw
官方账号Simon Willison@simonw精选
推荐理由：OpenAI 模型命名总绕晕人，Simon 这条提问正好点破，想弄懂 ChatGPT 和 API 对应关系可以看下。
06:39
06:39
官方一手@OpenAIDevs@OpenAIDevs
官方一手@OpenAIDevs@OpenAIDevs72°
推荐理由：OpenAI 出了个新工具，能自动扫 GitHub PR 的安全漏洞，直接在 PR 里给结果，适合开发团队试试。
06:16
06:16
官方账号LangChain@LangChainAI
官方账号LangChain@LangChainAI精选
推荐理由：Backops AI 用智能体处理理赔、邮件、系统更新，靠 LangSmith 防回归。他们在招人。
05:49
05:49a16z@a16z
a16z@a16z精选
推荐理由：a16z的Yoko Li讲清了智能体循环：编码先跑通，因为代码能改能验，图像生成就差在可验证性。观点挺实在。
05:44
05:44Notion@NotionHQ
Notion@NotionHQ推荐理由：看看Edge Esmeralda的创始人怎么用Notion管一个千人的临时村落，日历15分钟自动更新，智能体还能把共享上下文派上用场。
仅展示最近 2000 条内容。更早的内容请查阅 AI 日报存档（侧边栏 → AI 日报 → 顶部「往期日报」）。