据报道,Anthropic的一个研究模型发现了一种新颖的算法,该算法显著提高了解决3SUM和所有对最短路径(APSP)问题的效率。这一突破为3SUM提供了首个真正亚二次方的解决方案,为APSP提供了亚三次方的解决方案,超越了先前建立的理论界限。该算法的开发得到了Lean形式化的辅助,并对其他各种计算问题产生了影响。 AI
影响 这项发现通过为复杂问题提供更有效的解决方案,有可能加速各个计算领域的进步。
排序理由 该集群描述了一篇研究论文,其中详细介绍了一个由AI模型发现的新算法,这代表了计算复杂性方面的一项重大理论进展。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →