DeepMind最近在自然杂志上发表了一篇名为FunSearch的论文，该论文使用LLM引导的函数搜索，寻找数学和计算机科学中的开放问题的解决方案。它解决了capset问题，并发现了迄今为止最大的capsets。FunSearch的算法可以在...

计算机科学家们正在用GPT-4来解决长期存在的P=NP问题。来自微软和北京大学的一组研究人员引导GPT-4用一系列的提示来探索这个问题，采用苏格拉底式的方法，导致了一些启示，暗示P不等于NP。这种方法代表了提示工程的...

Edsger Dijkstra在他的职业生涯中提出了分布式和并发计算中的一些重要思想。多年来，Dijkstra逐渐减少了对大学的参与，每周只去校园一天。他似乎与繁忙相反，但他却产出了大量的工作。这一观察提示，忙碌实际上可能...

麻省理工学院计算机科学和人工智能实验室（CSAIL）的液态神经网络（LNNs）是一种在机器人技术和自动驾驶车辆方面表现出色的紧凑型AI。LNNs能够适应变化的环境，且其计算强度较低，性能超过标准模型。然而，对于静态...

在最新的研究中，计算机科学家Bertrand Meyer表示，人工智能不能帮助程序员，也不是软件开发的万能药。他列举了以下几个原因： - 人工智能不总是准确的 - 集成到现有的工作流程中可能会很困难 - 实施成本可能很高...

在计算机科学领域，NP完全问题被认为是最难解决的问题之一。但最近一项研究表明，还有比NP完全问题更难的问题存在。 以下是本研究的三个核心点： - NP完全问题是指在多项式时间内无法解决的问题。这些问题包括旅行...