每日简报 · 归档
中文EN
第 66 期2026年7月27日星期一·约 16 分钟阅读

AI 技术情报 · 2026-07-27

从 28 条内容中精选 16 条 AI/ML 重要动态

精选 16 条 · 共 28 条来源

从 28 条内容中筛选出 16 条重要资讯。

  1. LLM 在 Lean 中自动证明 Zstandard，重塑软件验证 ⭐️ 9.0/10
  2. PGSimCity：用 3D 城市交互可视化 PostgreSQL 内部架构 ⭐️ 8.0/10
  3. 经典数据导向设计演讲重燃社区讨论 ⭐️ 8.0/10
  4. 调查揭露地下市场低价转售大模型 API 令牌 ⭐️ 8.0/10
  5. Ruff v0.16.0 默认检查规则从 59 条增加到 413 条 ⭐️ 8.0/10
  6. 4B 开源模型在瑞典医学考试上接近 o3 水平 ⭐️ 8.0/10
  7. 美国公民在机场安检时使用 GrapheneOS 胁迫密码擦除手机遭起诉 ⭐️ 7.0/10
  8. 博客文章称“设计即妥协”，引发对权衡取舍的广泛讨论 ⭐️ 7.0/10
  9. 从零开始用 ARM64 汇编和 C 实现 YOLO26n 模型推理 ⭐️ 7.0/10
  10. LLM 在 IMO 2026 上的对比：前沿模型表现出色，工程导引提升其他模型 ⭐️ 7.0/10
  11. Decker：以 1 位图形重现 Hypercard 遗产的现代平台 ⭐️ 6.0/10
  12. 法国消防员首次遭遇火积雨云 ⭐️ 6.0/10
  13. CheapSecurity：面向 Linux 单板机的轻量自托管 CCTV 系统 ⭐️ 6.0/10
  14. Go 官方静态分析框架支持模块化自定义 Linter ⭐️ 6.0/10
  15. 面向 MCU 的开源边缘 ML 平台，集成了自动标注与聊天机器人 ⭐️ 6.0/10
  16. 固定论文长度可能不利于顶会理论性机器学习论文 ⭐️ 6.0/10

№ 01LLM 在 Lean 中自动证明 Zstandard，重塑软件验证 ⭐️ 9.0/10

该文章展示，大型语言模型现在能够自动生成形式化证明，在 Lean 定理证明器中验证了 Zstandard 压缩实现的正确性。这一突破表明 LLM 可以针对形式化规约合成证明，而此前这需要专家人工完成。 自动证明生成可能将程序员的角色从编写测试转变为编写形式化规约，从而在不牺牲开发速度的情况下提升软件可靠性，并可能彻底改变安全关键系统的软件工程。 该证明针对 Lean 语言中的 Zstandard 压缩，LLM 负责证明的合成。但社区讨论指出，当前基于 LLM 的证明自动化可能代价高昂且耗时，一项估计成本为 15 万美元的 API 费用和一周的推理时间。

hackernews · zdw · 7月26日 20:53 · 社区讨论

背景: 形式化方法利用数学严格性来规约和验证软件正确性，但传统上需要人类专家手动编写证明。自动定理证明（ATP）旨在自动化这一过程，而大型语言模型的最新进展引入了一种通过生成证明步骤来合成证明的新范式。Lean 定理证明器是一种流行的证明助手，支持交互式和自动化的证明构建。

参考链接:

社区讨论: Hacker News 上的讨论总体积极，许多人认为 LLM 将通过强调形式化规约重塑编程。有人对当前方法的高成本和推理时间表示担忧，也有人指出验证汇编代码已经可行。爱好者正在开发类似 OpenATP 的工具，以基准测试和改进证明自动化。

标签: #proof-automation, #theorem-proving, #llm, #formal-methods, #software-engineering

№ 02PGSimCity：用 3D 城市交互可视化 PostgreSQL 内部架构 ⭐️ 8.0/10

PGSimCity 是一个新发布的开源工具，通过可交互的 3D 城市模型，直观展示 PostgreSQL 如何处理查询和管理内部资源，包括规划器、执行器和后台进程。 理解数据库内部机制对开发者来说颇具挑战，该工具以直观方式呈现复杂概念，降低了学习门槛，并可能启发其他系统采用类似的可视化方法。 该工具已在 GitHub 上开源，但其当前的自动导览模式信息过载且缺乏交互性，用户很难跟上。社区建议增加减速按钮和输入自定义查询来观察执行流程的功能。

hackernews · jonbaer · 7月27日 00:19 · 社区讨论

背景: PostgreSQL 是一款广泛使用的开源关系型数据库，其内部架构复杂，涉及查询解析、规划、执行和后台维护等环节。传统学习资料多依赖静态图表，难以展示动态交互。PGSimCity 通过将组件映射为 3D 城市中的建筑和交通，生动地呈现了这些过程。

参考链接:

社区讨论: 社区对这一创意表示赞赏，但普遍认为自动导览过于杂乱，难以跟上。许多人建议增加减速按钮和交互式查询演练功能。有用户指出，这种可视化思路可移植到 Kubernetes 等其他复杂系统中。

标签: #postgresql, #database, #visualization, #architecture, #internals

№ 03经典数据导向设计演讲重燃社区讨论 ⭐️ 8.0/10

Mike Acton 的经典数据导向设计(DoD)演讲稿重新浮出水面，引发了关于其实际应用性、与数组编程的关系以及现代工具（如用于 DoD 的 LLM 技能）的细致社区讨论。 该讨论重申了缓存感知数据布局对性能的重要性，同时突显了在需求快速变化的环境中应用 DoD 的现实挑战，并展示了 AI 工具如何可能帮助采纳这些原则。 该演讲强调按访问模式分离和排序字段（数组结构体）。社区指出 DoD 本质上是缓存感知的数组编程，分享了 Mike Acton 新发布的面向数据编程的 LLM 技能链接，并讨论了其对需求多变项目的适用性。

hackernews · tosh · 7月26日 18:11 · 社区讨论

背景: 数据导向设计（DoD）是一种优先考虑数据布局和访问模式以最大化 CPU 缓存效率的编程范式，广泛用于游戏开发。它与常导致内存访问分散的面向对象设计形成对比。数组编程是相关的范式，对整组数组同时应用操作，常见于 APL、MATLAB、Julia 等语言。Mike Acton 的演讲是倡导 DoD 的开创性工作。

参考链接:

社区讨论: 社区对 DoD 原则表示欣赏，但对其实际应用性持怀疑态度。有人强调 DoD 是数据优先的算法设计，而另一些人则认为它主要是缓存感知的数组编程。挑战包括需求变化使 DoD 难以维护，而一个新的 DoD LLM 技能被分享，可能成为现代工具。

标签: #data-oriented-design, #performance, #game-development, #software-architecture, #array-programming

№ 04调查揭露地下市场低价转售大模型 API 令牌 ⭐️ 8.0/10

Matt Lenhard 的调查报道揭露了一个繁荣的中继市场，转售商通过汇集免费试用、被盗账户和受攻击的支持机器人中的 API 凭证，以大幅折扣提供大模型 API 访问，主要集中在中国。 这个市场加剧了任何面向公众的大模型端点被滥用的风险，可能导致开发者面临意外账单，并迫使服务商紧急改进消费上限和滥用检测机制。 转售者使用开源代理工具（如 one-api 及其分支 new-api）在多个 API 密钥之间进行负载均衡；买家通常是为了获取廉价令牌、绕过地理限制，或收集数据用于模型蒸馏。

rss · Simon Willison · 7月26日 19:30

背景: 大语言模型（LLM）API 按令牌计费。one-api 和 new-api 等开源工具本是合法的 API 网关，可聚合多个密钥并管理请求路由。在中继市场中，这些工具被滥用来汇集来自非法来源的凭证，形成一个代理，以官方价格的一小部分转售访问权限。这种做法在中国尤为普遍，部分用户因地理限制或追求更低成本而参与其中。

参考链接:

标签: #LLM, #API, #security, #fraud, #proxy

№ 05Ruff v0.16.0 默认检查规则从 59 条增加到 413 条 ⭐️ 8.0/10

Ruff v0.16.0 于 2026 年 7 月 23 日发布，默认启用的 lint 规则从 59 条激增至 413 条。如果项目中未固定 Ruff 的版本，此变更可能导致 CI 流水线失败。 此更新大幅提升了 Ruff 的开箱即用检查能力，无需配置即可捕获语法错误和运行时错误等严重问题。然而，CI 工作流中未固定的依赖项可能导致意外中断，影响大量 Python 开发者。 新的默认规则包括 DTZ005（未指定时区的 datetime 调用）、BLE001（捕获过于宽泛的异常）和 B018（无用的属性访问）等。使用 --fix 和 --unsafe-fixes 参数可以自动修复大部分问题，但仍有部分需要手动处理。

rss · Simon Willison · 7月25日 22:44

背景: Ruff 是一个用 Rust 编写的快速 Python 代码检查与格式化工具，由 Astral 公司开发（现已被 OpenAI 收购）。它强制执行编码规范并检测潜在错误。Lint 规则按类别划分，用户可自行启用更多规则。此前的默认规则集在 v0.1.0 中确定，此后规则总数从 708 条增长到 968 条。

标签: #python, #linting, #tools, #devops, #ruff

№ 064B 开源模型在瑞典医学考试上接近 o3 水平 ⭐️ 8.0/10

最新实验显示，开源 4B 参数模型（特别是 Gemma4-E4B 和 Qwen3.5-4B）在启用推理后，在瑞典医学执业资格考试 MedQA-SWE 上达到 87%的准确率，几乎追平了 OpenAI 的 o3 的 88%，且无需任何后续训练。 这凸显了小型开源语言模型的快速进步，表明它们能在医学等专业高风险领域接近闭源前沿模型，意味着可获取、可本地化的 AI 有望为低资源语言普及医学问答能力。 Qwen3.5-4B 的推理过程全部使用英语，尽管提示是瑞典语；实验采用了 S-GRPO 论文中的“提前退出”思考干预方法，以防止推理陷入重复循环并耗尽上下文长度。该模型凭借推理从 77%的准确率提升至 87%。

reddit · r/MachineLearning · /u/AccomplishedCat4770 · 7月26日 11:58

背景: MedQA-SWE 是一个基于瑞典医生执业资格考试编制的多选题临床问答数据集，包含 3180 道题。开源模型指权重公开可下载、可微调的模型。S-GRPO（序列组衰减奖励策略优化）是一种强化学习方法，能让模型自行判断推理步骤的充分性并提前退出，从而缩短推理长度。这些实验表明，参数小于 5B 的小模型如今在专业任务上已能接近大型闭源系统。

参考链接:

标签: #small-language-models, #medical-qa, #reasoning, #model-benchmarking, #open-weight

№ 07美国公民在机场安检时使用 GrapheneOS 胁迫密码擦除手机遭起诉 ⭐️ 7.0/10

一名美国公民在机场边境检查站被搜查时，故意使用胁迫密码擦除了自己的 GrapheneOS 手机，现已遭到联邦检察官起诉。 此案检验了在国际边境使用胁迫密码等数字自卫工具的法律边界，而执法部门在边境拥有广泛的搜查权。它可能为注重隐私的公民及其设备在法律上如何被对待树立先例。 GrapheneOS 上的胁迫密码是一个特意选择的替代密码，输入后会触发设备完全擦除，而非多次输入失败后的自动擦除。这名来自亚特兰大的男子现因在机场的行为面临刑事指控。

hackernews · eecc · 7月26日 22:21 · 社区讨论

背景: GrapheneOS 是一个基于 Android 的强化安全操作系统，专注于隐私保护。其胁迫密码功能允许用户在受到威胁被迫解锁时，迅速擦除设备。美国边境当局在入境口岸无授权即可广泛搜查电子设备，而销毁证据——即使是为了保护隐私——也可能导致妨碍司法等指控。

参考链接:

社区讨论: 评论者指出，美国法律注重意图，因此使用胁迫密码故意销毁证据即使看似被动行为，也可能带来法律后果。有人建议，像 VeraCrypt 中的诱饵卷技术可能是更站得住脚的法律替代方案，而另一些人则强调，如果你的威胁模型包括边境的国家机构，就必须接受潜在的法律风险。

标签: #privacy, #security, #legal, #GrapheneOS, #border search

№ 08博客文章称“设计即妥协”，引发对权衡取舍的广泛讨论 ⭐️ 7.0/10

Stephango 发布的博客文章《设计即妥协》主张所有设计决策本质上都涉及妥协，此文在 Hacker News 上引发了热烈讨论，获得了 211 个赞和 76 条评论。 这场讨论揭示了设计界一个微妙的哲学分歧：妥协到底是必要的恶，还是决策的基本组成部分。这对于经常需要平衡冲突需求和限制的设计师、工程师和产品经理来说，具有重要的共鸣意义。 文章区分了“妥协”与“权衡取舍”，一些评论者认为妥协意味着接受次优方案，而权衡取舍则是有意为之的选择。有评论指出，妥协应是在穷尽问题界定之后万不得已的工具。

hackernews · ankitg12 · 7月26日 15:51 · 社区讨论

背景: 在设计和产品开发中，“权衡取舍”通常指在相互竞争的特性或约束之间做出有意的选择，而“妥协”往往带有降格以求的意味。这场争论反映了一种长期存在的张力：一边是务实、受约束驱动的设计，另一边是做出强硬、鲜明决策的理念，后者可能会疏远部分用户，但能更好地服务目标受众。

社区讨论: 评论观点两极分化：一些人认同妥协是至关重要的技能，另一些人则从根本上反对，将妥协等同于软弱，并主张强观点设计应避免妥协。一种更细致的观点指出，约束条件可以被突破，通过创新可以改变“妥协空间”。

标签: #design, #philosophy, #trade-offs, #decision-making, #product-design

№ 09从零开始用 ARM64 汇编和 C 实现 YOLO26n 模型推理 ⭐️ 7.0/10

一个本科毕业设计从零开始使用 ARM64 汇编和 C 语言实现了 YOLO26n 目标检测推理，融合了 NEON SIMD、Winograd 卷积、自定义微内核等多种底层优化，在树莓派 4 上获得了正确结果但性能提升低于预期。 该项目展示了深度学习推理引擎和边缘 AI 优化的深刻理解，示范了如何在无框架的情况下为资源受限设备定制现代模型，对于教育和低功耗部署具有参考价值。 实现中包含了注意力机制、算子融合、缓存感知分块以及为 YOLO26n 参数定制的二进制内存布局；尽管进行了这些优化，但性能提升有限，可能因为现有的库已经很高效且硬件存在瓶颈。

reddit · r/MachineLearning · /u/Forward_Confusion902 · 7月26日 06:43

背景: ARM NEON 是 ARM 处理器的 SIMD 指令集扩展，可并行处理多个数据点。Winograd 卷积是一种快速算法，通过减少小卷积的乘法运算次数来加速推理，常用于深度学习。YOLO26n 是 YOLO26 系列中的轻量级变体，专为边缘部署设计，采用统一架构支持多种视觉任务。树莓派 4 搭载 Cortex-A72 ARM64 处理器并支持 NEON，但其有限的缓存和内存带宽制约了性能。

参考链接:

标签: #ARM64, #YOLO, #Edge AI, #Inference Optimization, #Assembly

№ 10LLM 在 IMO 2026 上的对比：前沿模型表现出色，工程导引提升其他模型 ⭐️ 7.0/10

一项新研究在 2026 年国际数学奥林匹克题目上对大型语言模型进行了基准测试，结果显示前沿模型如 sol 和 fable 取得了近乎完美的成绩，而一种名为 AutoFyn 的自定义多智能体导引系统则显著提升了 Claude Sonnet 和 Opus 等模型的表现。 IMO 2026 题目是全新的，不在任何模型的训练数据中，因此是推理能力的严格测试。这表明工程导引可以帮助非前沿模型接近前沿水平的数学推理能力，影响 AI 在复杂多步骤任务中的部署方式。 尽管有所改进，幻觉问题仍然存在（例如 Sonnet 在 P3 题上给出了错误解法），而且无论使用何种导引，所有非前沿模型在最长 20 小时的运行中都无法破解最难问题 P3 的关键转化。AutoFyn 提供了检索和验证功能，但无法提供解题所需的关键洞察。

reddit · r/MachineLearning · /u/pequalnp92 · 7月26日 07:21

背景: 国际数学奥林匹克（IMO）是一项面向高中生的年度竞赛，以六道高难度题目闻名。2026 年的题目是全新的，因此不太可能出现在大语言模型的训练数据中，为评估推理能力提供了公平的测试。工程导引是 AI 领域的一种新兴实践，通过构建工具、智能体和反馈循环来增强基础模型的能力，通常采用多智能体协作的形式。AutoFyn 是一个可定制的多智能体导引系统，让模型能够迭代地提出并验证解题方案。

参考链接:

标签: #LLMs, #mathematical reasoning, #benchmark, #multi-agent, #IMO

№ 11Decker：以 1 位图形重现 Hypercard 遗产的现代平台 ⭐️ 6.0/10

Decker 是一个全新平台，它重新构想了经典的 Hypercard 体验，允许用户创建交互式卡片式应用，其独特的 1 位黑白图形风格灵感来自早期 Macintosh 软件。 该项目触发了人们对一个更简单计算时代的怀念，那时用户可以轻松构建自己的工具，这或许能激励新一代爱好者开发者，并彰显低代码创意环境的持久价值。 Decker 制作的堆栈会导出为可在任何现代浏览器中运行的 HTML 文件，并内置了类似 HyperTalk 的脚本语言以实现交互，而 1 位美学则鼓励在限制中发挥创意。

hackernews · tosh · 7月26日 18:23 · 社区讨论

背景: HyperCard 于 1987 年由苹果公司发布，是一款开创性的超媒体系统，它结合了简单的数据库、图形界面和 HyperTalk 脚本语言，让普通用户无需传统编程就能创建名为'卡片堆栈'的交互式应用。它曾随 Mac 电脑免费提供多年，启迪了一代开发者。Decker 以刻意复古的 1 位视觉风格和现代网页兼容性复兴了这一概念。

参考链接:

社区讨论: 评论者表达了对 HyperCard 易用性及其赋能非程序员能力的怀念，有人质疑如此简单的界面在现代是否仍有立足之地。另有人欣赏 1 位设计的魅力，但担心它可能限制实用性，还有少数人回忆起 HyperCard 对个人计算影响的温馨记忆。

标签: #hypercard, #retro-computing, #low-code, #creative-tools, #nostalgia

№ 12法国消防员首次遭遇火积雨云 ⭐️ 6.0/10

在法国波尔多地区严重野火期间，消防员首次遭遇了罕见的危险火积雨云，这是一种由火灾产生的雷暴云。 该事件凸显了气候变化如何加剧野火，并催生火积雨云等极端天气现象，这些现象可能急剧恶化火势并威胁消防员安全。 朗德和梅多克地区的大片人造松林形成于 19 世纪，是极易燃烧的单一植被。社区专家指出，该云可能属于火积云而非真正的火积雨云，因为后者蕴含降雨。

hackernews · saaaaaam · 7月26日 17:49 · 社区讨论

背景: 火积雨云（PyroCb）是一种形成于强热源（如野火、火山喷发或核爆）上方的雷暴云，可抵达对流层上部或平流层下部，并产生闪电、冰雹和极端大风，从而加剧火势。该现象于 1998 年首次被记录，随着野火强度增加，出现愈发频繁。

参考链接:

社区讨论: 评论提供了朗德松林易燃性的背景，描述了波尔多宛如末日般的景象，并纠正术语应为火积云，因其不降雨。其他评论者分享了澳大利亚和美国类似经历，凸显了此类现象的全球性。

标签: #wildfires, #meteorology, #climate, #environment, #france

№ 13CheapSecurity：面向 Linux 单板机的轻量自托管 CCTV 系统 ⭐️ 6.0/10

CheapSecurity 是一个新的开源项目，提供基于 Python 和 OpenCV 的自托管 CCTV 系统，用于 Linux 单板计算机上的运动检测和警报，并在 Hacker News 上展示，为现有方案提供简单且注重隐私的替代选择。 该项目让注重隐私的用户和爱好者能够在树莓派等低成本、低功耗硬件上自托管安防摄像头，避免云订阅费用，并将数据完全掌握在自己手中。 运动检测管线通过 V4L2 捕获 MJPEG 帧，对夜间场景应用 CLAHE 增强，然后进行缩放、灰度化、模糊、帧差以及轮廓检测；录制视频使用 ffmpeg 处理，并可通过 Telegram 或电子邮件发送警报。

hackernews · zeldone · 7月26日 15:53 · 社区讨论

背景: 单板计算机（SBC）如树莓派是集成在单块电路板上的完整计算机，常用于 DIY 项目。自托管是指在自有硬件上运行软件，而非依赖云服务，从而增强隐私和控制力。现有的 CCTV 软件如 Motion 和 Frigate 也提供运动检测，但 CheapSecurity 旨在更简单轻量。

参考链接:

社区讨论: 社区讨论了技术管线，指出这基本是一个 MJPEG 运动检测系统。用户们质疑它与 Motion 和 Frigate 等工具的区别，并提出了关于寻找具有良好低光性能和外壳的合适 USB 摄像头的实际担忧。有人最初以为这是一个硬件解决方案。

标签: #self-hosted, #CCTV, #Python, #OpenCV, #SBC

№ 14Go 官方静态分析框架支持模块化自定义 Linter ⭐️ 6.0/10

Go 团队的官方静态分析框架虽非新发布，但近期因社区热议而备受关注，彰显了其在构建自定义 Linter 和分析器方面的实用性，尤其是借助 LLM 后可大幅简化工作。 该框架使开发者能够自动化代码审查并执行项目特定规则，大幅提升代码质量和一致性，减少人工投入，其模块化特性也促进了可复用分析器生态的繁荣。 该框架位于官方 golang.org/x/tools 仓库中，已被众多 Linter 广泛采用；它支持编写分析器，并可通过-fix 标志自动修复代码。

hackernews · AbuAssar · 7月26日 12:21 · 社区讨论

背景: 静态分析在不运行代码的情况下检查源代码，以发现错误、执行风格规范或识别模式。Go 分析框架提供了一个模块化 API，用于编写此类分析器，每个分析器都是一个独立的包，可以组合使用。它是许多流行 Go linter（如 staticcheck 和 gosec）的基础，也被 Go 团队自己的 vet 工具所使用。

参考链接:

社区讨论: 社区讨论褒贬不一：部分用户称赞该框架的实用性以及借助 LLM 创建自定义 linter 的便捷性，而另一些人则质疑为何已成熟的工具被重新提交。一条显著评论指出，该框架可以将代码审查反馈转化为自动化 linter，从而节省时间。

标签: #go, #static-analysis, #linters, #developer-tools, #open-source

№ 15面向 MCU 的开源边缘 ML 平台，集成了自动标注与聊天机器人 ⭐️ 6.0/10

一位开发者开源了一个名为 SensorForge 的端到端平台，旨在简化从原始传感器数据到在微控制器（MCU）上部署机器学习模型的整个流程。该平台包含一个用于时间序列传感器数据的自动标注工具，以及一个可分析信号数据的集成聊天机器人。 该工具解决了 tinyML 领域的一个常见痛点：传感器数据的手动标注费时费力，以及在资源受限的 MCU 上部署模型的复杂性。作为开源解决方案，它有望加速边缘 AI 应用的原型设计和开发。 该平台可通过 sensorforge.dev/app 访问。自动标注工具目前运行良好，但仍有改进空间；聊天机器人则能直接从信号数据中提供分析见解。

reddit · r/MachineLearning · /u/No-Bug-4879 · 7月27日 02:38

背景: TinyML 是机器学习的一个分支，专注于在低功耗、资源受限的设备（如微控制器，即 MCU）上运行模型，这些设备通常只有有限的内存和算力。在 MCU 上部署模型需要专门的工具链，并对传感器数据进行处理。时间序列传感器数据的手动标注极其困难且耗时，因此自动标注技术具有很高的价值。该平台提供了一条从原始数据到部署模型的完整流水线。

参考链接:

标签: #edge-ml, #tinyml, #auto-labeling, #mcu, #open-source

№ 16固定论文长度可能不利于顶会理论性机器学习论文 ⭐️ 6.0/10

一位机器学习研究者指出，NeurIPS、ICML 等顶会的固定论文长度限制，加上审稿人要求主文完全自包含、不依赖附录的期望，对理论性论文造成不公平的劣势。审稿人常以‘内容难懂’或‘未解释所有前置知识’为由拒稿，而非评估工作的影响力。 这种偏见可能抑制理论性机器学习研究，阻碍该领域赖以发展的基础性进步。同时，它也揭示了大型会议同行评审的系统性挑战：僵化的格式和审稿疲劳可能损害对技术深度工作的公正评价。 该研究者称，半数拒稿源于领域主席以数学难懂或主文术语不足为由，而非依据工作影响力。他们建议审稿准则：‘如果你缺乏前置知识，请明说，尽你所能评审。’

reddit · r/MachineLearning · /u/OutsideSimple4854 · 7月25日 18:48

背景: NeurIPS、ICML、AAAI 等主流机器学习会议对主文设有严格的页数限制（通常 8-9 页），但允许无限附录。然而，评审指南通常要求论文自包含，且审稿人无需阅读附录。这对需要大量数学背景和证明的理论论文构成冲突，因为其内容难以在页数限制内充分展开。

标签: #machine learning, #academic publishing, #conference reviewing, #theoretical research, #peer review