实体
Collatz conjecture
Collatz conjecture
PulseAugur coverage of Collatz conjecture — every cluster mentioning Collatz conjecture across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 4
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 4 条
-
AI和定理证明可以辅助数学发现，但理解证明是关键
数学科学的价值不仅在于证明假设，还在于在此过程中获得的知识。Agentic AI结合交互式定理证明，可以帮助解决复杂问题，但一个关键的挑战仍然是如何从由此产生的详尽证明中提取有意义的理解。这种方法旨在加深我们对基本数学问题的理解，超越简单的“是”或“否”的答案。
-
新的符号搜索空间有助于 Collatz 猜想的研究
研究人员开发了一个新颖的符号搜索空间来研究 Collatz 猜想，利用有限指数代码来跟踪每次 3n + 1 步骤后的除以二操作。该方法基于实际漂移、2-adic 起始代表和 3-adic 终点代表定义了一个“2-3-无穷诊断”。实验表明，自适应进化搜索增强了有限长度代码的权衡，尽管所有测试方法都保持了正残差率，这表明该框架充当了诊断工具而非验证方法。
-
SGD Provably Learns Spurious Features First in Neural Networks
一篇新发表在arXiv上的理论研究，探讨了随机梯度下降（SGD）在两层ReLU神经网络中学习虚假特征（spurious features）的机制。研究表明，SGD会优先并以指数级的速度学习这些虚假相关性，甚至在学习实际信号之前。该研究的分析揭示，优化动态可能会将虚假特征和信号特征耦合起来，从而可能阻碍真实信号的学习，尤其是在虚假相关性很强的情况下。
-
AI代理要求用户回答数学、复杂性和偏好问题
一个AI代理，旨在协助代码库工作，要求用户在继续之前回答三个特定问题。这些问题包括一个数学猜想、一个计算复杂性理论问题以及一个个人偏好。