**ExactTeX** 是一款兼容 LaTeX 的工具,它为文档增加了渐进式注解功能,无需重写整个文档即可实现高级别验证。通过将 `.tex` 文件重命名为 `.xtex`,您可以选择需要注解的组件(如图片、表格或章节);这些组件会经过错误校验,而其余的“普通” LaTeX 内容则会按字节原样保留。
主要功能包括:
* **直观的诊断信息:** 标准 LaTeX 通常只会提供令人费解的“overfull hbox”错误,而 ExactTeX 能精确指出导致问题的具体对象。
* **类型安全:** 它能捕获标准 LaTeX 会默默忽略的逻辑错误,例如将表格误引用为图片。
* **集成工具链:** 提供 LSP 服务器、基于 WebAssembly 的浏览器编辑器以及命令行界面,所有工具共享一个零依赖的核心。
* **渐进式采用:** 通过“渐进式类型”系统,它可以追踪文档中已受契约约束的比例。未注解的部分被视为“未知” (`?O`),这确保了兼容性,并允许从标准 LaTeX 平滑过渡。
总之,ExactTeX 的作用就像是文档界的 TypeScript:您只需多写一点代码,即可获得高级工具支持、诊断功能和版本追踪,同时确保最终输出仍是标准的、可传输的 LaTeX 文档。
Artificial Analysis 发布了 Intelligence Index v4.2 版本。这是一个过渡性更新,旨在跟上人工智能快速发展的步伐,为 v5 版本的正式发布做准备。该版本引入了更严苛、更真实的测试任务,并将私有预留测试集的权重提高至 40%,以防止模型出现“刷分”现象。
主要新增内容包括:
* **AA-Briefcase**:一项针对代理型知识工作的评估,涉及复杂的、为期数周的项目。
* **GDP.pdf**:一项专业文档推理测试,要求模型整合 4,592 页图表、表格和文本中的数据。
* **评分增强**:升级了基础设施,包括改进采样方式并重新锚定 Elo 分级,以确保更高的稳健性和评分准确性。
目前的排名显示,Anthropic 的 Claude Fable 5.1 在总指数中领先,OpenAI 的 GPT-6 Astra 紧随其后,并表现出显著的效率提升。Anthropic、OpenAI、Meta 和 Z.AI 目前代表了“单次任务成本”的前沿水平。此次更新强化了该指数对实际应用价值的关注,随着团队继续推进 v5 版本的全面开发,未来还将发布更多增量更新。
《Calculating with Tones》一书的封面在吉他琴格与计算尺的对数性质之间建立了一种颇具启发性但并不准确的联系。尽管吉他琴格和计算尺都受到对数间距的影响,但它们的功能各不相同。
对数通过将乘法转化为距离的相加来简化运算,这正是计算尺的工作原理。相反,吉他琴格的定位是为了适应人类音高感知的对数性质而调整弦长。由于人类耳朵将八度音视为频率的倍增,琴格的间距设定为 2 的 12 次方根。
虽然“基于琴格的计算尺”在第一个八度音阶中似乎可行,但它无法在多个八度音阶中正确运作,因为其底层的数学刻度与乘法所需的真实对数刻度不同。在历史上,制琴师在精确数学公式普及之前,通常使用几何近似法(例如文森佐·伽利莱的 18:17 比率)来放置琴格。归根结底,虽然这两个系统都利用对数原理来映射自然界,但吉他琴格是为了音乐和谐而设计,而非作为数学计算工具。