computational complexity
PulseAugur coverage of computational complexity — every cluster mentioning computational complexity across labs, papers, and developer communities, ranked by signal.
3 天有情绪数据
-
Deep learning models benchmarked for smart meter energy forecasting
Researchers have conducted an empirical benchmark of nine deep learning models for smart meter energy forecasting, evaluating their performance on two public datasets. The study found that while extending historical inp…
-
AI 生成代码面临错误、安全和复杂性方面的挑战
AI 生成的代码带来了严峻的挑战，主要围绕引入错误和安全漏洞。此外，这些代码的复杂性以及后期理解的难度给开发人员带来了巨大的障碍。这些问题共同影响了使用 AI 辅助开发的软件的可靠性和可维护性。
-
OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破
OpenAI 宣布，使用名为 Astra 的内部模型在数学和理论计算机科学领域取得了十项重大进展。这些突破解决了诸如几何、密码学和复杂性等领域的长期悬而未决的问题。该公司强调了这一过程的效率，并指出该研究的 API 费用不到 2,000 美元，与以往 AI 在数学方面的能力形成鲜明对比。OpenAI 已在 GitHub 上提供了 Lean 4 的形式化证明，以确保透明度和可验证性。
-
新研究探讨不可终止计算及其复杂性
本文深入探讨了不可终止重采样计算的计算复杂性，研究了导致算法无限运行的随机磁带的生存尾部和Kolmogorov复杂性。它引入了Hausdorff维度来量化这类磁带的集合。该研究提出了一个主定理，在特定条件下界定了生存前缀的概率之和，从而深入了解了终止行为和维度界限。研究强调了不同的修复规则，即使具有相同的停止时间定律，也可以表现出截然不同的非终止维度，这受到低功率级别下不可见的动作标签的影响。
-
Stable Diffusion 用户探索具有人群的赛博朋克美学
一位 Reddit 用户分享了他们使用 Stable Diffusion 生成具有赛博朋克美学、侧重于复杂性和人群的图像的经验。用户指出，虽然结果很有趣，但在背景构图和描绘人群的整体工作流程方面仍有改进空间。