Claude用11天形式化费马定理

Claude用11天把费马大定理证明译成1300万行机器可验代码，数学研究流程或因此改写。

深度专题 FEATURES — 1

PAPER

一项因果实验显示，LLM不只会报告“自信”，还会据此决定回答还是弃答。

速览 BRIEFS — 8

PAPER

把词频长尾一路推到模型缩放曲线，为经验规律寻找语言统计根基。

PAPER

把 DQN 当作连续控制方程的数值求解器，并说明它何时会逼近正确答案。

PAPER

JMLR 用学习理论中的“秩”，精确刻画受限 Transformer 至少要推理几轮。

PAPER

面对不能重来的错误，智能体可以先求助，再逐步学会独立判断。

PAPER

新理论称：数据若藏在低维结构中，扩散模型的样本需求未必随像素数爆炸。

PAPER

多目标决策不只要会调权重，还要先确认偏好真能导向最优策略。

PAPER

把主动学习的选样、建模与实验流程装进同一套 Python 工具箱，帮助团队少花标注成本。

PAPER

Science追问AI能否参与审稿：它或许能帮忙挑错，但保密、能力与责任边界仍待厘清。