作者审阅的论文 | Gist.Science

本页收录的每篇论文，都有至少一位原作者阅读并参与了我们的通俗解释——或是确认其准确无误，或是提出修正意见并由我们随后采纳。作者的确认并不等同于对每一句话的正式背书，但说明该解释已经过论文作者的审视。

607 篇论文已由作者审阅 · 471–480 / 607

本文首先尝试在逻辑允许的范围内复兴乔廷的启发式原则，随后与合著者共同证明乔廷常数 $\Omega$ 在任何无限离散测度下均非无输入随机程序停机概率，并提出了基于不同测度定义停机概率的多种方法。

Kathleen 是一种无需分词或注意力机制、仅通过频域处理直接在 UTF-8 字节上运行的轻量级文本分类架构，其核心创新包括循环振荡器组、FFT 旋转波表编码器及相位谐波非线性，在显著降低参数量的同时实现了超越大型 Transformer 模型的性能。

该论文通过识别“相互作用传播”这一核心机制，从结构上解释了贝特拟设（Bethe Ansatz）在有限传播深度下因全局数据局部化而成立、而在遭遇结构边界时因不可约数据出现而失效的二元对立现象。

该研究利用 PyBaMM 构建并参数化了一个电化学 - 热 - 退化耦合模型，通过系统分析 81 种不同工况（温度、倍率、静置荷电状态和放电深度）下的数据，成功预测了 NMC 锂离子电池在日历老化与循环老化共同作用下的容量衰减轨迹、剩余寿命及内部退化机制。

该研究提出特征驱动的人机协同（FD-HITL）框架，利用 Cursor 生成了 10 个大型软件项目，发现虽然其功能正确率高达 91%，但生成的代码仍普遍存在违反单一职责、关注点分离和 DRY 等设计原则的严重设计缺陷，可能给系统的长期可维护性和可扩展性带来风险。

该论文首次通过在有限寿命的因果菱形时空中构建弦动力学，揭示了新生弦仅在诞生瞬间表现为张力为零，并展现出一种具有全局超局部卡鲁结构的新弦相。

该论文提出了一种实用框架，通过将输出统一为标准化表示并提供交互式可视化工具，在无真实标注数据集上评估基于 AI 的解剖分割模型之间的一致性，展示了其在 NLST CT 扫描上比较六种开源模型以标记差异并优先处理模型间不一致案例供专家审查的效用。

该论文提出了一种描述自旋三重态铁磁超导性及自旋电子学的 SU(2)×U(1) 非阿贝尔金兹堡 - 朗道理论，该理论通过引入有质量光子、无质量中性磁振子、有质量非阿贝尔磁振子及希格斯标量场，成功刻画了长程磁相互作用、两种守恒超流、非阿贝尔迈斯纳效应以及磁单极子等特征物理现象。

该研究通过 Z3 求解器对 3,500 个 AI 生成的代码工件进行形式化验证，发现所有前沿大模型生成的代码中平均有 55.8% 存在经数学证明的安全漏洞，且现有行业工具几乎无法检测出这些漏洞。

该研究通过模拟不同扭矩机制下黑洞在 AGN 吸积盘中的径向迁移，揭示了迁移陷阱在低质量超大质量黑洞系统中主导双黑洞形成，而在高质量系统中差分迁移及“交通堵塞”效应更为关键，从而修正了关于双黑洞固定形成位置的假设。