理论

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 字节跳动推出全新小分子力场ByteFF：兼顾精度与效率，覆盖广阔化学空间 编辑 | ScienceAI 小分子力场在药物发现领域至关重要，是计算机辅助药物设计的核心工具。一个覆盖范围广、精度高的…

昨天，Meta 开源专攻代码生成的基础模型 Code Llama，可免费用于研究以及商用目的。 Code Llama 系列模型有三个参数版本，参数量分别为 7B、13B 和 34B。并且支持多种编程语言，包括 Python、C++、Java、PHP、Typescript (Javascript)、C…

本文提出了一种简单而有效的方法 OPRO，其利用大型语言模型作为优化器，优化任务用自然语言描述就可以，优于人类设计的提示。 优化对于所有领域都至关重要。  有些优化是从初始化开始的，然后迭代的更新解以优化目标函数。这种优化算法通常需要针对单个任务进行定制，以应对决策空间带来的特定挑战，特别是对于无导…

日前，火山语音团队多篇论文入选interspeech 2023，内容涵盖短视频语音识别、跨语言音色与风格以及口语流利度评估等多个应用方向的创新突破。interspeech作为国际语音通信协会isca组织的语音研究领域的顶级会议之一，也被称为全球最大的综合性语音信号处理盛会，受到全球语言领域人士的广泛…

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 重新编写的内容是：紫罗 复杂电子相互作用的大规模模拟仍然是原子建模面临的最大挑战之一。虽然经典力场通常无法描述电子态和离子重排之间的耦合，但更准确的从头算分子动力学受到计算复杂性的影响，无法进行…

尝鲜 gpt-4 之后，陶哲轩又用上了 github copilot。 这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。 ☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 对于大模型来说，形式化的定理证明也算一种挑战。形式化证…

在一项最新的研究中，来自 uw 和 meta 的研究者提出了一种新的解码算法，将 alphago 采用的蒙特卡洛树搜索算法（monte-carlo tree search, mcts）应用到经过近端策略优化（proximal policy optimization, ppo）训练的 rlhf 语言模…

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 编译 | 绿萝 2023 年 11 月 7 日，Google Research 高级研究科学家，Google 团队连接组学负责人 Viren Jain，在《Nature》发表了题为《人工智能如何…

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 没有改变原始意思的情况下，需要重新编写成中文的句子是：编辑 | X X 射线叠层相干衍射成像（X-ray ptychography）是一种理论上能够实现衍射极限分辨率的相干衍射成像技术，已广泛应…

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜ 编辑 | X 传统意义上，发现所需特性的分子过程一直是由手动实验、化学家的直觉以及对机制和第一原理的理解推动的。 随着化学家越来越多地使用自动化设备和预测合成算法，自主研究设备越来越接近实现。 …