BriefGPT - AI 论文速递 ·

MAMUT：一种用于生成语言模型训练的专业数据集的数学公式修改新框架

📝

内容提要

本研究解决了现有语言模型在处理复杂数学公式时的困难，提出了一种新颖的方法——数学变换器（MAMUT），能够生成等效及伪造的数学公式版本。这一框架的显著成果是生成了四个包含不同数学表示法的大型数据集，极大增强了语言模型对数学内容的编码能力。

🏷️

xAI本周完成Grok4.8训练：用C++内联PTX榨干算力
xAI的Colossus集群拥有55万块GPU，但模型浮点运算利用率仅约11%，远低于行业35%至45%的水平。为此，xAI放弃JAX和PyTorch，改...
从 Covonaut v1.1.2 看 Go Agent 框架落地：先看可观测性，再谈智能
Covonaut v1.1.2 是面向生产的 Go Agent 框架，涵盖 Agent Loop、工具系统、多 Agent 交接与可观测性。文章指出 Go...
高管和政界人士对放缓AI开发的看法
Dario Amodei kicked off a flood of statements over the past few days about AI...
PSC 本周动态（235）| 2026-09-14
新一届 Perl 5 核心团队首次开会，完成 GitHub 群组和邮件列表交接，计划为 5.44 和 5.42 发布小版本，纳入安全与构建修复并征集其他建...
iOS 越狱隐藏：从 Dopamine 到 RootHide
本文分析 RootHide 越狱隐藏机制。原版 Dopamine 固定 /var/jb 路径且全进程注入，易被检测。RootHide 通过随机 jbroo...
特朗普废除发电厂气候污染法规
The Environmental Protection Agency announced its plans today to kill any rem...