Anthropic开源密码学验证AI推理系统

Anthropic开源FlashProve：用zkSNARK密码学证明AI回复确实出自所声称的模型。单张H100可对4000亿参数模型以每秒110个token速度生成证明，代码与Lean证明已公开。

2026-11-04 人工智能 我要分享

不要 think step by step！谷歌最新自然语言推理算法 LAMBADA ：「反向链推理」才是答案

谷歌发布全新反向推理算法LAMBADA，无惧搜索空间爆炸！自动推理绝对算是自然语言处理领域的一大难题，模型需要根据给定的前提和知识推导出有效且正确的结论。尽管近年来NLP领域借着大规模预训练语言模型在

2023-02-12 资讯 我要分享

华为云云原生首次在太空验证，提升“天算星座”卫星计算精度

12月10日消息，搭载"天算星座"计算平台的试验卫星在轨稳定运行，华为云"云边一体"方案首次在太空验证。据介绍，"天算星座"计划，由北京邮电大学深圳研究生院与天仪研究院共同发起，以服务国家重大战略需求

2022-05-08 资讯 我要分享

天算星座：首颗云原生卫星升天，华为云云原生首次在太空得到验证

感谢最新网友雷碧的线索投递！最新12月10日消息，今日，华为方面宣布：搭载了"天算星座"计算平台的实验卫星成功入轨稳定运行，这是全球首颗云原生卫星。得益于此，华为云云原生首次在太空得到验证。华为云"云

2022-05-08 资讯 我要分享

未来AI将减少对大资料训练的依赖 向更智慧地自上而下推理转型

考虑如何投资于人工智能功能的公司首先应该明白，未来5年，应用程序和机器将变得更加智慧。他们将减少对自下而上的大资料的依赖，更多地依赖自上而下的推理，这种推理更类似于人类处理问题和任务的方式。这种一般性的推理能力将使人工智能得到比以往任何时候都更广泛的应用，并为…

2019-01-19 科技 我要分享

MIT：AI如同人类的推理机制来解决问题

麻省理工学院（MIT）林肯实验室智能和决策技术小组开发的模型为理解神经网络如何做出决策设立了新标准。图1：TbD-net解决视觉推理问题的方法是，将问题分成一...

2018-09-14 科技 我要分享

高通HBC验证完成 AI250带宽133TB/s

高通宣布第一代HBC高带宽计算技术完成硬件验证：AI250加速卡有效内存带宽将达133TB/s、为AI200的18倍，早期样品每瓦带宽已超HBM4五倍；AI250计划2027年上半年出样，AI300将

2026-11-03 科技 我要分享

Google推出Android ML平台，可减少机器学习App大小

Android装置端现在内建TensorFlow Lite for Android，因此开发者不再需要于应用程序内添加Runtime，进而减少应用程序大小

2021-07-15 综合 我要分享

斯坦福推出新型DAWNBench基准套件 用于对不同优化策略量化比较

图源：unsplash原文来源：stanford作者：Cody Coleman、Deepak Narayanan、Daniel Kang、Tian Zhao、Jian Zhang、Luigi Nardi、Peter Bailis、Kunle Olukotun...

2018-04-18 科技 我要分享

重大特性升级，1大工具发布，MindSpore一周年…

[中国，深圳，2021年3月31日]为庆祝开源一周年，MindSpore社区邀请行业大咖、专家学者和社区开发者...

2021-04-01 综合 我要分享

人工智能已经可以解决复杂的数学问题了，还有哪些工作是无法被取代的

大型语言模型（LLMs）是指采用机器学习技术，利用大量文本数据进行训练，以能够自然地理解和生成自然语言文本的人工智能模型。这些模型可以用于自然语言处理任务，如文本分类、文本生成、语言翻译、问题回答和摘

2023-02-24 资讯 我要分享

华为云ModelArts刷新深度学习模型训练世界纪录

近日，斯坦福大学发布了DAWNBenchmark最新成绩，在图像识别(ResNet50-on-ImageNet，93%以上精度)的...

2018-12-03 综合 我要分享

TensorFlow释出最新1.7版！除了整合Nvidia推理优化引擎TensorRT，还新增追踪ML建模的除错仪表板

Google于3月27日时，正式释出TensorFlow1.7版，不仅能整合了Nvidia的TensorRT推理优化引擎，还增添了除错仪表板，让使用者可以随时暂停执行，来观察不同节点的执行情况

2018-03-31 综合 我要分享

寒武纪官方详解云端 AI 芯片思元 370：采用新一代智能处理器架构 MLUarch03

最新11月3日消息，今天，寒武纪发布第三代云端AI芯片思元370、基于思元370的两款加速卡MLU370-S4和MLU370-X4、全新升级的CambriconNeuware软件栈。▲寒武纪第三代云端

2022-05-08 资讯 我要分享

飞桨PaddlePaddle最新升级：5大优势 更低门槛使用深度学习

允中 发自 凹非寺量子位 编辑 | 公众号 QbitAI飞桨（PaddlePaddle）是国内唯一功能完备的端到端开源深度学习平台，集深度学习训练和预测框架、模型库、工具元件、服务平台为一体，其兼具灵活和效率的开发机制、工业级应用效果的模型、超大规模并行深度学…

2019-07-23 科技 我要分享

准确率可达 100%，谷歌全新方法解决 ML 模型「走捷径」问题

最近GoogleAI团队的新论文尝试对困扰ML模型的「走捷径」问题进行解答，并给出了几种显著性方法的建议。通过大量训练解决任务的现代机器学习模型，在测试集上进行评估时可以取得出色的性能。但有时它们做出

2022-12-21 资讯 我要分享

为什么刷小视讯停不下来？爱奇艺用这篇论文告诉你答案

选自 ijcnn.org作者：Fan Zhu, Min Jiang, Yiming Qiu, Chenglong Sun*, Min Wang机器之心编译参与：Panda爱奇艺作为中国的主要视讯网站之一，其视讯推荐系统的规模和复杂度也在中国名列前茅。近日释出了…

2019-09-22 科技 我要分享

数千AI智能体32分钟读完数百万脑细胞

OpenAI联合PerturbAI和斯克里普斯研究所，用数千个GPT-Rosalind智能体在32分钟内分析完数百万小鼠脑细胞的基因数据，同类工作人类要花数月到一年，并提出了胆固醇与神经退行性疾病关联

2026-10-22 人工智能 我要分享

腾讯微视凭BLENDer模型斩获VCR竞赛榜第一

视觉常识推理VCR (Visual Commonsense Reasoning )是人工智能领域的前沿热点问题，我国《新一代人工...

2020-11-30 综合 我要分享

图像生成方法最新研究：斯坦福联合谷歌使用图卷积和GAN从场景图中生成图像

原文来源：arXiv作者：Justin Johnson、Agrim Gupta、Li Fei-Fei“雷克世界”编译：嗯~是阿童木呀、KABUDA、EVA导语：长期以来，在图像生成方法的研究上已经...

2018-04-08 科技 我要分享