Learn more about Technology - Section 25

能够严格检查的LLMs是否能够生成数学证明？了解LeanDojo：一个开源的AI游乐场，提供工具包、基准测试和模型，用于大型语言模型在Lean证明助手中证明形式化定理

人工智能和机器学习是当今时代的热门领域。随着人工智能取得的巨大进步，新的创新正在改变人类与机器的互动方式。人类智能中...

百度Ernie 3.5在中文语言AI领域脱颖而出：但它真的比ChatGPT更好吗？

在中国语言AI市场上取得了令人振奋的突破，著名的搜索引擎提供商百度发布了其最新模型Ernie 3.5。百度声称这款大型中文语言模...

5个初级数据科学家在Spotify学到的5个重要课程（第1部分）

你已经从大学毕业，现在你正投身于一个充满成就的人们改变游戏规则的世界当然，你可能还不是其中之一（但！），但你刚刚开始...

如何使用ChatGPT更快地学习数据科学，即使你已经很高级了

如何使用像ChatGPT这样的AI工具轻松学习数据科学的初学者指南

随着OpenFlamingo团队发布了OpenFlamingo v2，该团队在3B、4B和9B规模上推出了五个新的多模态模型，这些模型表现优于之前的模型

来自华盛顿大学、斯坦福大学、AI2、加州大学圣塔芭芭拉分校和谷歌的一组研究人员最近开发了OpenFlamingo项目，旨在构建类似De...

遇见FastSAM：具有最小计算负载的突破性实时解决方案，实现高性能分割

分割任何物体模型（Segment Anything Model，SAM）是该领域的一个较新提议。这是一个被誉为突破的视觉基础概念。它可以使用多...

遇见DORSal：一种用于生成和对象级别编辑3D场景的3D结构扩散模型

人工智能随着生成式 AI 和大型语言模型（LLMs）的引入而不断发展。著名的模型如 GPT、BERT、PaLM 等是长列表中引人注目的 LLM...

认识LOMO（LOw-Memory Optimization）：一种新的AI优化器，它将梯度计算和参数更新融合为一步，以减少内存使用

大规模语言模型通过展示出色的技能，如自发性和理解力，并不断增加模型的大小，改变了自然语言处理。通过使用数十亿个参数来...

最佳AI图像生成器（2023年7月）

许多企业的景观正在因人工智能而改变，图片创作是其中一个发生重大变化的领域。许多人工智能图片生成器使用人工智能算法将文...

麻省理工学院的研究人员引入重新采样来改善生成过程

基于微分方程的深度生成模型最近成为高维数据建模的强大工具，涵盖了从图像合成到生物学的各个领域。这些模型通过反向迭代地...

Dropbox揭示具有革命性人工智能驱动工具：生产力和协作的新时代

在今天的数字世界中，每个人都不断地被数据淹没。现在比以往任何时候都有更多的信息可用，但可能需要时间来发现确切的需求。...

认识Wanda：一种简单有效的大型语言模型修剪方法

大型语言模型（LLMs）的流行度和使用率不断增长。在生成式人工智能领域取得巨大成功的同时，这些模型正在引领一些巨大的经济...

一个初学者友好的生成式人工智能简介

最近几个月出现了所谓的“生成式人工智能”的兴起：现在是时候了解它的基础了

了解谷歌为银行提供的新的反洗钱人工智能工具

谷歌云（Alphabet的一个部门）推出了面向银行的反洗钱人工智能。该提议的人工智能解决方案是一种创新工具，利用人工智能驱动...

遇见ChatGLM2-6B 开源双语（中英文）聊天模型ChatGLM-6B的第二代版本

自OpenAI推出了革命性的ChatGPT以来，该产品以最快的速度获得了1亿用户，自然语言对话代理领域取得了可观的进展。研究人员正...

转换专业AI训练-遇见LMFlow：一个有前景的工具包，可高效微调和个性化大型基础模型以提供卓越性能

建立在大型基础模型之上的大型语言模型（LLMs）已经展示了执行以前不可能的各种任务的一般能力。然而，需要更多对这些LLMs进...

神经网络中的激活函数类型

神经网络的激活函数是深度学习的重要组成部分，因为它们决定了用于创建或分割大规模神经网络的训练模型的准确性和效率以及深...

什么是合成数据？它们的类型、用例和在机器学习和隐私方面的应用

数据科学和机器学习领域每天都在不断发展。随着时间的推移，新的模型和算法被提出，这些新的算法和模型需要大量的数据进行训...

机器学习即服务是什么？优势和顶级MLaaS平台

机器学习利用统计分析来生成预测输出，无需显式的编程。它采用一系列算法，学习解释数据集之间的关系来实现其目标。不幸的是...

AI技术将彻底改变患者护理

国家医疗服务（NHS）的一项令人兴奋的进展是，Henry Smith议员表示支持政府的新£21百万基金，以部署尖端人工智能（AI）工具来...