AI引导符号假设生成，子域加权残差法让噪声数据中偏微分方程发现更鲁棒精准
arXiv:2607.10546v1 Announce Type: new Abstract: Discovering governing partial differential equations (PDEs) from noisy observational data is a fundame…
用LLM推断部分合约，实现无需全程序重新验证的回归验证，大幅降低验证成本。
arXiv:2607.10291v1 Announce Type: cross Abstract: Software evolves continuously, yet ensuring that a patch preserves intended behavior without re-veri…
OpenAI Codex 开始加密子代理提示，导致多智能体 V2 消息的审计追踪不可读，引发回归问题
Article URL: https://github.com/openai/codex/issues/28058 Comments URL: https://news.ycombinator.com/item?id=48905028 Points: 264 # Comments: 160
IT之家 7 月 13 日消息，《幻兽帕鲁》1.0 正式版于 7 月 10 日上线，迎来大量玩家回归，该作在 Steam 平台的同时在线人数突破 85 万。虽然距离巅峰 210 万仍有差距，但已经是近两年高峰。 IT之家从 Steam 平台获悉，本作支持简体中文界面与字幕，国区原价 108 元，当前…
IT之家 7 月 12 日消息，消息源 smashx_60 现已曝光了 HMD Asha 305 手机海报及完整参数信息，该机系 HMD 首款 Asha 机型，预计定位入门市场，在泰国起步价为 2390 泰铢（IT之家注：现汇率约合 487.4 元人民币）。 该机提供黑 / 绿双色，整体尺寸为 14…
像package-lock锁定包版本一样，Probelock用lockfile锁定LLM工具调用的行为一致性，避免量化或版本升级后功能回归。
Article URL: https://github.com/kelkalot/probelock Comments URL: https://news.ycombinator.com/item?id=48842075 Points: 1 # Comments: 0
六月末的苏黎世，利马特河从 On Labs 楼后流过。昂跑（On）三位创始人之一 Olivier Bernhard 站在一群跑步与商业记者面前，先说了一句略带歉意的开场白：“这里不是那种光鲜亮丽的展示空间。” 他提醒来客，接下来会看到戴着护目镜的工程师、指尖沾着蓝色染料的设计师，以及在跑步机上大汗淋…
IT之家 7 月 6 日消息，华为官方今日宣布，将于 7 月 14 日在马来西亚吉隆坡举行主题为“Now is Your Moment”的旗舰产品发布会， 届时将面向国际市场推出 Pura 90 系列手机 。 IT之家注意到，沙特阿拉伯 TikTok 账号 @superrmas 上传的一段视频显示，…
IT之家 7 月 6 日消息，国家广播电视总局办公厅今日发布关于 2026 年 6 月全国国产电视动画片制作备案公示的通知， 《神兵小将》第三季通过备案 ，分为上下两部分，共 104 集，每集 22 分钟。 动画片《神兵小将》于 2007 年首次推出 ，取材于香港漫画大师黄玉郎畅销漫画集《神兵玄奇》…
理想汽车再动刀组织，去中间环节，整车和智驾产品团队回归研发，聚焦核心业务。
图源视觉中国 文｜肖漫 编辑｜李勤、杨轩 “回归创业状态”，去年李想说出这个目标后，理想汽车还在进行组织和流程精简。 36氪汽车从多位知情人士处获悉，理想即将围绕产品决策流程进行新一轮组织架构调整，计划将产品部的部分关键职能拆分，并入研发部门。 从群组关系来看，理想汽车产品部由范皓宇负责，包含电动本…
单词数r也是风险问题？！
IT之家 6 月 30 日消息，据外媒 motor1 今天（30 日）报道，奥迪计划于 2028 年重新启用 A4 车名，以一款全新纯电轿车加入与宝马 3 系、奔驰 C 级的竞争。 新一代 A4 将彻底改变定位，与几年前 接替燃油版 A4 的现款 A5 几乎没有技术和产品层面的关联。 奥迪 CTO …
Sand.ai获超亿美元融资，曹越详解为何视频是通往世界模型的关键路径
“每一代模型，我们都在押注一个非共识。” 文｜邓咏仪 编辑｜张雨忻 Sand.ai 创始人曹越，不太关心自己站在共识的哪一边。 Sand.ai 是一家视频生成模型和产品公司，成立于2024年1月。曹越创立Sand.ai 的故事也已经被讲过很多遍：在上一段创业“光年之外”戛然而止后，曹越很快就投入到 …
IT之家 6 月 29 日消息，杰西 · 艾森伯格（Jesse Eisenberg）解释了自己拒绝在《社交清算（The Social Reckoning）》中再度饰演马克 · 扎克伯格的决定，他坦言，回绝编剧兼导演艾伦 · 索金的邀约，感觉就像“辜负了全美国观众”。 本月早些时候，索金透露，他花了三…
IT之家 6 月 28 日消息，据外媒 Nokiamob 报道，HMD Global 旗下一款型号为 TA-1779 的新手机认证文件现已悄悄现身官网，相关文件中直接出现了“HMD Asha 305”的名称，这意味着 HMD 正计划让诺基亚当年的“Asha”产品线重新回归，但尽管如此， 相应手机预计…
IT之家 6 月 25 日消息，据路透社 25 日（今天）报道，日产汽车前董事长卡洛斯 · 戈恩自曝有部分股东要求他 重返日产 ，这样的呼声反映出股东已经对 多年来接连失败的重整计划忍无可忍 。 戈恩更是直言不讳地指责道，自 2018 年他被罢免以来，日产领导层一直在挥霍价值并迷失方向， 连续三任 …
理论揭示：判别模型的条件分布等价性如何约束内部表示的唯一性，为理解模型表征相似性提供新视角
arXiv:2602.15438v3 Announce Type: replace-cross Abstract: For a broad family of discriminative models that includes autoregressive language models, id…
IT之家 6 月 25 日消息，在经历《无限地球危机》后的短暂沉寂后，DC 动画电影即将回归，新作 ——《蝙蝠侠：骑士陨落》三部曲正在制作中，定级为 R 级， 推出日期待定 ，首支先导预告已发布。 该电影由杰夫 · 瓦梅斯特执导，杰里米 · 亚当斯编剧。IT之家查询获悉，《蝙蝠侠：骑士陨落》是 DC…
IT之家 6 月 24 日消息，今天下午，@腾讯视频 官微宣布，腾讯视频自制剧集《三体 · 大史》即将上线并同步开启预约。 《三体》电视剧原班人马，强势回归！ 当危机席卷而来，当真相层层剥开，当全世界都在怀疑动摇，只有他们，坚定的选择站在人类这一边！ 该剧由杨磊担任导演、陆贝珂担任视觉导演，由于和伟…
新方法利用大语言模型结合上下文信息，智能修复软件回归错误，经验评估验证有效性
arXiv:2506.13182v2 Announce Type: replace-cross Abstract: [...] Since then, various APR approaches, especially those leveraging the power of large lan…