1
岚图汽车卢放：开发时间短，不等于“速成车”
造车快慢不等于质量高低，卢放以“武汉到北京”比喻回应“速成车”误解，值得汽车圈思考
IT之家 8 月 12 日消息，岚图汽车科技股份有限公司董事长卢放今日发布长文，谈及了一个被严重误读的概念 ——“速成车”。 IT之家附卢放原文如下： 首先，我们必须正本清源： 开发时间短，不等于速成车 。判断一辆车是不是“速成”，唯一的标尺不是时间，而是它是否完整地走完了所有必需的验证流程。如果一…
2
发布前夕官方“促销”：曝谷歌发送 Pixel 11 系列优惠码邮件，100-250 美元不等
IT之家 8 月 12 日消息，如果准备购买即将推出的 Pixel 11，记得留意谷歌发来的邮件。谷歌正向部分用户发放优惠码，用户可以在今天晚些时候预购新机时使用。 外媒 9to5Google 称其在美国收到了一张 150 美元 （IT之家注：现汇率约合 1,014 元人民币） 优惠码，不过优惠金额…
3
不等 R 星了，独立开发者用 AI 自制《GTA6》
不等R星三年，独立创业者用AI自建《GTA6》，开局就是整活大挑战
IT之家 6 月 21 日消息，一款电子游戏要让玩家等上十三年，实在太过漫长，漫长到有人索性自己做。 25 岁的徐子文（Ziwen Xu，音译）是人工智能智能体初创公司 HyperEcho 的创始人，他在 X 平台发文，正式启动了这个自制项目。他写道：“自制《GTA6》，开工第一天。打出这句话时我依…
4
VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
用VGPT-RSI方法对黎曼假设相关不等式进行形式化验证，给出边界证书与失败定位。
arXiv:2606.15096v1 Announce Type: new Abstract: The Riemann Hypothesis remains one of the central unsolved problems in mathematics. Rather than claimi…
5
Matrix-Decoupled Concentration for Autoregressive Sequences: Dimension-Free Guarantees for Sparse Long-Context Rewards
自回归序列的矩阵解耦集中不等式，为稀疏长上下文奖励提供无维度保证，理论创新突破。
arXiv:2605.06017v2 Announce Type: replace Abstract: Sequence-level evaluations in autoregressive Large Language Models (LLMs) rely on highly dependent…
6
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
提出用LLM生成猜想并转化为Lean形式化验证，基于平方和证书实现自动多项式不等式证明，开辟数学推理新路径。
arXiv:2605.15445v1 Announce Type: new Abstract: Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reas…