标签
一个名为Fable的AI模型发现了雅可比猜想的一个反例，这是一个长期未解决的数学难题。它通过找到一个满足特殊条件但不可逆的多项式函数实现了这一点。
Loopie 是一种新型循环 Transformer 模型，通过新颖的后训练流程，在 2025 年国际数学奥林匹克竞赛（IMO）和国际物理奥林匹克竞赛（IPhO）中无需外部工具即获得金牌表现。在相同计算预算下，它优于普通 Transformer。
一条推文声称，AI模型Claude Fable提出了雅可比猜想的一个反例，给出了一个显式的多项式映射，该映射尽管具有恒定的非零雅可比行列式，但并非单射。
TheoremGraph 是一个统一的语句级依赖图，涵盖非形式化数学（arXiv 论文）和形式化数学（Lean 项目），利用语义嵌入来弥合两者之间的差距。作者提供了数据集、提取器和 API，以支持数学搜索和检索。