热点事件观察中
研究团队提出数学形式化引擎Sage
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年9月30日，arXiv公开的研究显示，研究团队推出了智能体框架Sage。该框架通过四阶段分解流水线与双信号语义校正循环，能够将自然语言数学表述转化为高保真的Lean 4形式化陈述。在Omni-MATH基准测试中，Sage取得了73.3%的pass@4联合编译与语义保真度，相比基线模型Goedel-Formalizer-V2的42.0%有显著提升，同时将答案泄露率降至2.7%。
AI 根据报道生成 · 4 小时前更新
最新进展9月30日 12:00
研究团队推出形式化引擎Sage，在Omni-MATH上取得73.3%保真度。报道时间线
沿着报道，了解事件的不同侧面。
9月30日
- arXiv 机器学习Sage：基于语义校正的数学形式化引擎
研究团队推出智能体框架 Sage，通过四阶段分解流水线与双信号语义校正循环，将自然语言数学表述转为高保真的 Lean 4 形式化陈述。Sage 在 Omni-MATH 上取得 73.3% 的 pass@4 联合编译与语义保真度（基线 Goedel-Formalizer-V2 为 42.0%），并将答案泄露率降至 2.7%。
本事件热度走势
当前热度 5·可比范围峰值 5（10月1日 12:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。