近日，计算机科学家们推出了一款名为Llama 3-V的新型人工智能模型，其与GPT4-V性能相当，但模型大小只有GPT4-V的1/100。与GPT4-V的高昂价格相比，Llama 3-V仅需500美元即可获得。这款新型模型可以应用于自然语言处理...

在给股东的年度信中，亚马逊首席执行官安迪·贾西阐述了他对生成性人工智能可能成为公司下一个增长支柱的愿景。该公司已向人工智能初创公司Anthropic投资了40亿美元，并邀请了著名的计算机科学家和人工智能专家吴恩达...

以色列计算机科学家Avi Wigderson因其在计算复杂性和算法设计方面的杰出贡献获得了2023年ACM图灵奖。他的研究成果对计算机科学、数学和物理学等领域都有重要影响。Wigderson是普林斯顿大学的教授，曾在美国计算机科...

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

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

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