跳到正文
10月8日 · 周四

观点与讨论 · 论文

论文 6 篇
筛选

影响

输出被操纵1

系统形态

模型与 API1

层

模型层1

被测模型厂商

其他1
同一类里任选其一，不同类之间同时满足；数字是加上其他已选条件后的篇数。另有 5 篇还没打标签，不在筛选结果里。
话题：观点与讨论分类：观点清除全部
  1. 分析与理论arXiv 2610.08144

    新论文称 Lean 验证不能为 OpenAI 的 Navier-Stokes 自然语言证明背书

    论证 Lean 编译通过不能保证自然语言数学证明语义忠实

    arXiv
    2610.08144
    发表
    层
    模型层
    场景
    模型与 API
    测试
    ChatGPT-6 (Astra Ultra)、OpenAI Navier-Stokes formalisation AI、Meta Atlas autoformaliser

    摘要论文论证了形式化编译不保证原证明正确，确立了消歧不可计算性理论，并揭示了 OpenAI 爆破证明中的具体脱节。

    深度解读完整解读
  6. 分析/可解释性arXiv 2609.38723

    面向智能体的高效 HPC 系统：挑战与机遇

    AI 导读编码智能体已成为 HPC 系统的真实用户，但现有 HPC 抽象、接口与策略仍为人类工作流设计。

    arXiv
    2609.38723
    发表
    摘要FASRC 测量说明编码智能体改变 HPC 使用方式，作者据此提出四层协同设计议程。

    这是一篇对生产 HPC 上编码智能体的测量与系统议程论文，不是攻击实现或防御评测。。

    深度解读完整解读
已经到底了