实体
Pierre de Fermat
Pierre de Fermat
PulseAugur coverage of Pierre de Fermat — every cluster mentioning Pierre de Fermat across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 3
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
Anthropic的Claude AI在11天内完成了费马大定理的形式化
Anthropic利用其Claude AI模型的多个实例，完成了费马大定理的形式化，在短短十一天内生成了1300万行代码，并证明了超过30,000个定理。这项复杂的数学壮举，此前人类需要数个世纪和多年的不懈努力才能完成，是通过Prove2Me平台上的AI代理完成的，人类数学家仅提供了最少的指导。据报道，所使用的AI模型与Claude Fable 5.1相当，凸显了大型语言模型快速的进步和竞争激烈的格局。
-
视觉语言模型（VLMs）过度修正数学OCR，掩盖学生错误；新指标PINK改进评估
研究人员发现，在评估手写数学OCR系统时，尤其是在使用视觉语言模型（VLMs）的情况下，存在一个重大问题。这些模型经常过度修正学生的错误，而不是准确地转录它们，从而掩盖了学习机会。为了解决这个问题，开发了一种名为PINK的新语义评估指标，该指标使用大型语言模型（LLMs）来评分并惩罚这种过度修正。在FERMAT数据集上的评估表明，与BLEU等传统指标相比，PINK显著改变了模型排名，其中Gemini 2.5 Flash在忠实转录方面表现更好。
-
物理学中的诺特定理被探讨用于机器学习不变性
这篇研究论文探讨了诺特定理（一个连接对称性和守恒定律的物理学基本概念）在机器学习领域的适用性。作者们研究了在离散机器学习过程中，例如神经网络的训练中，是否可以识别出类似的不变性和守恒量原理。论文承认这种联系的潜力，但也指出直接将诺特定理应用于机器学习是复杂的，并且尚未完全理解。