最近在《自然》杂志上介绍了一种名为FunSearch的方法，它使用大型语言模型在数学和计算机科学中进行新的发现。该方法将创造性的LLM与评估器配对，以产生可验证的解决方案，并在难以解决的cap set 和bin-packing问题...

Muse是一个旨在发明一个新的计算环境，更好地服务于科学家、作家、企业家、设计师和建筑师等重要知识工作者的项目。在Muse的探索中，研究人员们试图为知识工作者提供一个更加灵活、更加智能的工作环境，以便他们能够...

该份文档详细介绍了向量检索领域的最新状态，涵盖了所需的各个方面知识点。由于其价值，需要花费一定时间来深入研读。向量检索是一种新型的信息检索技术，它是计算机科学和信息检索领域的前沿技术之一，已经成为各种...

本文深入探讨了如何打造一种具有人类思维过程的人工智能。在过去的几十年中，人工智能一直是计算机科学领域的一个热门话题。尽管现在已经有了许多成功的应用程序，但我们远远没有达到完全模拟人类思维过程的目标。本...

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

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

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

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