近日，有一篇论文提出了一种新的方法，旨在改进计算机理解和将日常语言转换为SQL的能力。该方法通过查看代码的整个部分而非单个单词来纠正错误，并使用一种新的SQL查询表示法，更接近于现有代码语言模型的工作方式，...

## 新闻摘要： - GPT-4被广泛认为是迄今为止最强大的语言模型。 - Voyager将代码作为“策略表示”，并使用环境错误和性能作为自然语言反馈，从而让GPT4能够逐步改进挖掘钻石等任务。 - 通过Voyager，我们不需要训练GP...

研究人员基于超过 350 个 STEM（科学、技术、工程和数学）定理，开发了包含 800 个问题-答案对的数据集，用于测试人工智能语言模型。该数据集为衡量人工智能使用这些定理解决复杂的大学级问题的能力提供了新的基准。...

人工智能被用于发现“abaucin”，这是一种对抗超级细菌Acinetobacter baumannii有很好效果的新型抗生素。人工智能是通过对成千上万种已知药物进行训练，从超过6,000种未经测试的化合物中筛选出潜在的抗生素，整个过程...

内容要点： - IX是一个实验性平台，旨在为设计和部署半自主LLM代理提供支持。 - 该平台可用于探索半自主技术在未来人工智能领域中的应用。 - IX已经在GitHub上开源，可以免费下载和使用。

## 新闻概要： - Nvidia股票在周四猛涨28%，这标志着AI芯片繁荣的全面到来。 - 这一消息表明，市场对AI芯片的需求在不断增加。 - Nvidia是全球领先的人工智能公司，其GPU芯片是训练和运行深度学习算法的最佳选择。...

加拿大音乐人及AI音乐倡导者Grimes最近花时间对AI生成的Grimes歌曲进行了评论，她发现这些歌曲非常出色。以下是本次评论的三个核心要点： - AI生成的音乐质量不断提高，这些歌曲和她自己创作的歌曲一样优秀。 - 通...

## 新闻内容: 最近的一项研究发现，小模型在算术方面甚至可以击败GPT4，这一发现令人惊喜。具体来说，已经有许多强大的基础模型被用于算术任务的微调，但是llama tokenizer（将数字分割成单个数字）在算术方面的优...