llm-assisted

一篇新的 arXiv 论文推翻了麦克斯韦 1873 年的猜想，提出了一个由五个点电荷组成的构型，该构型至少有 24 个非退化临界点，超过了猜想中的界限。该构型由 OpenAI 的 GPT-5.6 Sol 提出，作者验证了其数学正确性。

本文提出了一项探索性案例研究，评估GPT-4o在无尽跑酷游戏中执行重构和生成玩法功能的能力，发现重构任务成功，而功能生成任务大多失败。

本文提出了MONIR——一种模态输出规范性中间表示，旨在桥接LLM辅助的规范提取与基于ASP的合规推理，适用于技术标准领域。该框架以中国ADAS法规为实例，结合符号推理与LLM流水线，实现可解释的合规性检查。