首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    新的「AI科学家」结合理论和数据来发现科学方程

    IBM 研究团队以及三星 AI 团队的研究人员开发了一种方法「AI-Descartes」,通过将逻辑推理与符号回归相结合,能够从公理知识和实验数据中对自然现象模型进行原则性推导。...该研究以「Combining data and theory for derivable scientific discovery with AI-Descartes」为题,于 2023 年 4 月 12...这产生了一个端到端的发现系统「AI-Descartes」,它通过 SR 从数据中提取公式,然后从一组公理中提供公式的可推导性的证明,或提供不一致的证明。...该论文的第一作者,三星 AI 的研究科学家 Cristina Cornelio 表示,AI-Descartes 提供了一些优于其他系统的优势,但它最显著的特点是它的逻辑推理能力。...AI-Descartes 这个名字是对 17 世纪数学家和哲学家 René Descartes 的致敬,他认为自然世界可以用一些基本的物理定律来描述,逻辑推论在科学发现中发挥了关键作用。

    20020

    零一万物自研全导航图向量数据库,权威榜单评测 6 项第一

    3 月 11 日,零一万物宣布其成功研发出基于全导航图的新型向量数据库 “笛卡尔(Descartes)”,并包揽权威榜单ANN-Benchmarks 6 项数据集评测的第一名。...在ANN-Benchmarks 的离线测试中,零一万物笛卡尔(Descartes)向量数据库在 6 份数据集评测中位居榜首,比原先榜单上同业第一名有显著性能提升,部分数据集上的性能提升甚至超过 2 倍以上...2 零一万物向量数据库包揽 权威榜单评测六项第一 零一万物笛卡尔(Descartes)向量数据库在 ANN-Benchmarks 六项数据集测试均位居第一。...图注:截至 3 月 10 日,ANN-Benchmarks 6 项评测中,零一万物笛卡尔(Descartes)向量数据库均居第一 ANN-Benchmarks 是当下业界最权威的向量数据库性能测试工具之一

    24910

    摩尔定律已死?不,它出现在了太空领域!(一)

    该生态系统还包括PlanetLabs,该公司生产影像数据,同时Descartes开发软件分析上述影像数据,总得来说该生态系统仍处于发展初期。...OrbitalInsight,和Descartes一样正在分析地球空间信息数据,规模达到拍字节,有数百万的卫星影像,目的是从中得出有效结论。...另一家公司Descartes,刚开始是美国政府洛斯阿拉莫斯国家实验室的一个项目,现在已经在农业生产领域形成较大影响。...历史的观点:成像技术和影像识别技术揭示了我们对世界的理解 随着Descartes,OrbitalInsight之类的公司将让我们深入了解成像技术和整个过程,很明显成像技术和位置数据会愈加高度相关,可能就像今天的谷歌搜索一样

    2.7K80

    零一万物自研全导航图向量数据库,横扫权威榜单6项第一

    机器之心发布 机器之心编辑部 3 月 11 日,零一万物宣布推出基于全导航图的新型向量数据库 「笛卡尔(Descartes)」,其搜索内核已包揽权威榜单 ANN-Benchmarks 6 项数据集评测第一名...在国际权威评测平台 ANN-Benchmarks 离线测试中,零一万物笛卡尔(Descartes)向量数据库搜索内核登顶 6 份数据集评测第一名,比之前榜单上同业第一名有显著性能提升,部分数据集上的性能提升甚至超过...截至 3 月 10 日,ANN-Benchmarks6 项评测中,零一万物笛卡尔(Descartes)向量数据库均居第一 「吞吐量 QPS」 是衡量信息检索系统(例如搜索引擎或数据库)查询处理能力的重要指标

    9910
    领券