人工智能技术文章
-
- 像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA
- 中山大学和华为等机构的研究人员提出了LEGO-Prover，实现了数学定理的全流程闭环，包括生成、整理、储存、检索和复用背景作为长链条严格推理的典范，数学推理被认为是衡量语言模型推理能力的重要基准，GSM8K和MATH等数学文字问题（mathwordproblem）数据集被广泛应用于语言模型的测评和比较中。事实上，数学作为一项科学研究并不仅仅包括计算具体实例，还包括推演一般性的定理。不同于简单的计算问题仅仅需要验证最终的结果与答案是否匹配，定理的证明要求对数学概念拥有更严格的理解，而这种定理证明的正确性是
- 科技周边 · 人工智能 | 2年前 | 理论 LEGO-Prover 455浏览 收藏
-
- 探索教育的新前景：Pepper 机器人在克利夫兰中学中引领革命
- 今年八月份，田纳西州的克利夫兰市立中学迎来了八位新朋友——Pepper机器人。作为今年职业技术教育课程的一部分，克利夫兰高中和初中都可以使用Pepper机器人，用来教授学生了解并掌握前沿AI技术。项目主任雷尼·惠滕巴格强调了人工智能技术的重要性，他表示：“我们有责任为学生们提供适应这种不断变化的技术环境所需的工具。”这些Pepper机器人实际上是完全可编程的。它们不仅可以使用c++、Python、Java等编程语言，还有初学者也可以轻松上手的RoboBlocks和Choregraphe学校表示，Peppe
- 科技周边 · 人工智能 | 2年前 | 455浏览 收藏
-
- 劢微机器人全品类车型亮相工博会 赋能智慧物流与智能制造
- 9月19日-23日，劢微机器人携新产品与新技术亮相2023工博会，劢微机器人以全系无人叉车和四向穿梭车为硬件载体，结合自研软件，数字化的劢微云系统以及视觉解决方案天眼系统，形成软硬件一体化交付平台，可适应复杂场景物流需求，助力整场物流智能化、柔性化升级。
- 科技周边 · 人工智能 | 2年前 | 455浏览 收藏
-
- 苹果首款消费级VR头显即将发布！如今我们用VR来干什么呢？
- 赶在苹果公司6月6日全球开发者大会举行之前，Meta抢先官宣了旗下首款消费级MR头显MetaQuest3将于9月27日正式发布新一代VR头显MetaQuest3，售价499美元。近日这款头显的系统固件泄露，展现出了它的部分新功能。根据目前已知的消息，Quest3拥有更高的分辨率、更快的刷新率、更强大的处理器和更舒适的设计，并且可以通过内置的传感器自动识别房间内的物体，并用网格覆盖。此外，用户还可以通过图标标注物体的类型，比如沙发、桌子等。这样，用户就可以在房间内自由移动，并与数字角色互动，比如追逐一个跳上
- 科技周边 · 人工智能 | 2年前 | vr游戏 VR体验 VR应用场景 455浏览 收藏
-
- 灯塔AI大模型票房预测上线：开源算法不断提升精准度
- 快科技8月11日消息，阿里影业旗下的一站式宣发平台灯塔正式推出票房预测功能，基于大模型框架，对影片“T+1”日票房和总票房进行科学测算。据报道，此功能是通过利用AI大模型进行深度学习而实现的，成功将票房预测的准确性推向了行业的新高度。这是电影行业中第一个基于AI大模型构建的票房预测产品灯塔表示，而随着科技的进步，AI大模型的引入为票房预测的准确性提升带来了指数级的进步。以此为技术依托，灯塔票房预测的上线为实时、准确的票房测算提供了可能。灯塔认为，票房预测的重要性在于其数据动态变化能够重新指导宣发策略，而不
- 科技周边 · 人工智能 | 3年前 | 大模型 灯塔AI 票房预测 455浏览 收藏
-
- 苹果CEO库克：持续研究生成式人工智能技术
- 8月4日，苹果公司首席执行官蒂姆·库克在2023财年第3财季的财报电话会议上透露，苹果一直在探索多种AI技术，其中包括生成式AI库克表示，公司正在努力将各种AI技术（包括生成式AI）融入产品，寻找不同的创新点我们一直在过去几年里研究各种AI技术，包括生成式AI。我们将继续投资和创新，并以负责任的方式利用这些技术来改善人们的生活，并丰富我们的产品
- 科技周边 · 人工智能 | 3年前 | 455浏览 收藏
-
- 英伟达推出仅100KB体积的“最新”Perfusion AI 文生图模型
- 据IT之家8月2日消息，英伟达研究人员最近发布了一款名为Perfusion的“文生图”模型。这个模型的最大特点是其体积很小，只有100KB，并且训练时间仅需4分钟，但生成的图片仍然具有显著的特色据报道，英伟达的研究人员与以色列的特拉维夫大学合作开发了这个模型。官方表示，Perfusion模型的图片质量与StabilityAI的StableDiffusionv1.5版本相当，而在效率方面，由于其小巧的体积，Perfusion模型在业界的效率处于领先地位此外，英伟达表示Perfusion模型在“承接上文”能力
- 科技周边 · 人工智能 | 3年前 | 455浏览 收藏
-
- Snow Kylin登陆中国列车，打造全球首条元宇宙专列
- 2019年，傲雪创始人范睿首次提出高铁动车5G新视觉传媒的战略构想，同年9月，这一方案荣获工信部第二届绽放杯5G应用征集大赛智媒技术专题赛三等奖。三年来，团队历经风雨，砥砺前行，2023年7月，傲雪超薄VR头显SnowKylin正式登陆复星文旅与国家铁路集团联合打造的“呼伦贝尔”号旅游专列，为呼伦贝尔号旅游专列的乘客带来了前所未有的元宇宙内容及媒体体验，得到了列车乘客的一致好评。“呼伦贝尔”号是复星文旅与国家铁路集团联合打造的高端旅游专列，历时七天，从哈尔滨到海拉尔，沿途风光壮丽，景色迷人，令人流连忘返。
- 科技周边 · 人工智能 | 3年前 | 455浏览 收藏
-
- AI+游戏首度大范围公布实际应用成果，AI全面来临还有多远？
- AI+游戏首度大范围公布实际应用成果，AI全面来临还有多远？“2023上海游戏精英峰会暨游戏出版产业报告发布会”将于2023年6月19日在上海市图书馆举办，会议由上海市新闻出版局指导，上海市出版协会主办，伽马数据（CNG）承办。本届峰会将“AI在游戏领域的应用与发展”定为主题，旨在两个方面，第一，探讨AI对游戏产业的多方面影响，例如，AI如何有效提升游戏品质、减少开发缺陷、提高稳定性。AI如何有助于提升可玩性，丰富游戏内容，提高游戏安全性。另外，从降本增效、提速发展等角度，AI如何帮助企业发展。第二，探索
- 科技周边 · 人工智能 | 3年前 | AI 应用 游戏 455浏览 收藏
-
- 陈根：人工智能设计软件再升级，下一步就是取代好莱坞
- 文/陈根AIGC是什么呢？简单的说就是人工智能的图文影视的自动生成技术。其实在ChatGPT技术获得突破之前，应该说AIGC是走在前面的，但是ChatGPT出来之后，也就是大模型技术出现之后，我就在《ChatGPT：读懂人工智能新纪元》这本书里明确的提出，未来到底是AIGC包含ChatGPT，还是ChatGPT包含AIGC，目前还不好下结论，但是很大的可能性会是ChatGPT直接涵盖AIGC。当然，大家如果有兴趣的话可以登录京东、当当购买《ChatGPT：读懂人工智能新纪元》这本书进行更深入的了解。除了G
- 科技周边 · 人工智能 | 3年前 | 人工智能 设计软件 好莱坞替代 455浏览 收藏
-
- “AI基金经理”一日游背后：投资亏损，谁来担责？
- 中新经纬6月6日电(周奕航薛宇飞)近日，私募基金公司北京止于至善投资管理有限公司(下称止于至善)引入AI机器人作为基金管理人一事，引起业内关注，有网友称“基金经理距离失业又进一步”。然而，仅一天后，该公司又称该AI机器人非主要用于交易，究竟怎么回事？此外，近年来，已有部分公私募基金公司对AI进行选股及策略训练。AI机器人能否取代基金经理？交易出现亏损应该由谁来担责？“AI基金经理”一日游？近日，“止于至善”在公众号发布文章称，拟安排公司4位研究员，以及1个基于人工智能的机器人(暂定名为赛博坦)，独立管理5
- 科技周边 · 人工智能 | 3年前 | AI基金 投资亏损 责任。 455浏览 收藏
-
- 概念之外，“元宇宙”的未来在哪里？
- “元宇宙”作为近几年的热门概念，或将成为未来数字经济发展的重要引擎。现如今，全国各地正在积极探索推动元宇宙产业创新发展的新路径。5月30日，由工信部网络安全产业发展中心（工信部信息中心）、长三角投资（上海）有限公司、青浦区经济委员会、青浦区科学技术委员会、青浦区科学技术协会指导，北京大数据协会元宇宙专委会主办，长三角赵巷新兴产业经济发展（上海）有限公司承办的长三角数字干线元宇宙创新发展论坛暨首届长三角元宇宙日在长三角绿洲智谷·赵巷会议中心举办。本届论坛以“‘元’启长三角共享新未来”为主题，来自行业内知名专
- 科技周边 · 人工智能 | 3年前 | 编程 元宇宙 455浏览 收藏
-
- 手机也能运行：谷歌发布 PaLM 2 人工智能语言模型，Bard 聊天机器人大改进
- 5月11日消息，谷歌在今日凌晨的I/O2023开发者大会上公布了全新的AI语言模型PaLM2，这是其PaLM语言模型的第二个版本，将用于为谷歌Bard提供动力。据介绍，PaLM2模型在针对特定领域的数据进行微调时会大放异彩。比如Med-PaLM2可以帮助回答问题并从各种密集的医学文本中总结见解。此外，谷歌最近将Bard聊天机器人转移到了PaLM2，号称凭借改进的数学、逻辑和推理技能，Bard现在可以帮助生成、解释和调试20多种编程语言的代码。谷歌表示，从下周开始，Bard聊天机器人将在代码引用方面更加精确
- 科技周边 · 人工智能 | 3年前 | 人工智能 Bard 455浏览 收藏
-
- 找不到中文语音预训练模型？中文版 Wav2vec 2.0和HuBERT来了
- Wav2vec 2.0 [1]，HuBERT [2] 和 WavLM [3] 等语音预训练模型，通过在多达上万小时的无标注语音数据（如 Libri-light ）上的自监督学习，显著提升了自动语音识别（Automatic Speech Recognition, ASR），语音合成
- 科技周边 · 人工智能 | 3年前 | 模型 数据 455浏览 收藏
-
- 机器学习回归模型相关重要知识点总结
- 1、线性回归的假设是什么？线性回归有四个假设：线性：自变量（x）和因变量（y）之间应该存在线性关系，这意味着x值的变化也应该在相同方向上改变y值。独立性：特征应该相互独立，这
- 科技周边 · 人工智能 | 3年前 | 算法 模型 455浏览 收藏
查看更多
课程推荐
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案，代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景，打造一站式知识长龙服务，适合有JS基础的同学学习。
- 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例，全面具体可落地，从理论到实践，一步一步将GO核心编程技术、编程思想、底层实现融会贯通，使学习者贴近时代脉搏，做IT互联网时代的弄潮儿。
- 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信：Le-studyg；在课程中，我们将首先介绍MySQL8的新特性，包括性能优化、安全增强、新数据类型等，帮助学生快速熟悉MySQL8的最新功能。接着，我们将深入解析MySQL的网络通信机制，包括协议、连接管理、数据传输等，让
- 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网，分为导航，轮播，关于我们，成功案例，服务流程，团队介绍，数据部分，公司动态，底部信息等内容区块。网站整体采用CSSGrid布局，支持响应式，有流畅过渡和展现动画。
- 485次学习
-
- Golang深入理解GPM模型
- Golang深入理解GPM调度器模型及全场景分析，希望您看完这套视频有所收获；包括调度器的由来和分析、GMP模型简介、以及11个场景总结。
- 474次学习
查看更多
AI推荐
-
- ljg-skills
- ljg-skills 是李继刚开源的 AI 技能与提示词集合，面向大模型使用者整理了一批可复用的 prompt、角色设定和任务技能模板，适合用于学习提示词设计、搭建个人 AI 工作流和沉淀团队常用智能体能力。
- 5271次使用
-
- MELO音乐
- MELO音乐是一站式AI视频与音乐制作助手，对标suno, udio的高品质体验。提供伴奏生成、原创写词、无损导出、哼唱识曲、混音变声等全套音频与短视频编辑工具。无论是流行Kpop、电音说唱、民谣古风、摇滚儿歌还是商用轻音乐，MELO为你免费谱曲，轻松做同款！
- 4787次使用
-
- UniScribe
- UniScribe 是一款 AI 音视频转文字与内容整理工具，支持上传音频、视频文件或粘贴 YouTube 链接，自动生成转写文本、摘要、思维导图和关键问题，并支持多格式导出，适合会议记录、课程学习、访谈整理和内容创作复盘。
- 4733次使用
-
- 剧云
- 剧云是专业中文剧本创作平台，安全稳定运行十余年，集成AI编剧、剧本医生审核、人物小传、剧情关系图、大纲编写、多人协作、Word导入导出、版权管控功能，数据安全防护，轻松高效创作剧本。
- 4989次使用
-
- 万象有声
- 万象有声，一个专为有声创作者打造的新一代智能有声内容创作平台。平台提供专业的智能拆章、智能画本编辑、AI配音、AI生成音效、后期制作、智能对轨、智能审听等有声创作全流程工具，可以帮助创作者高效、低成本创作出引人入胜的有声作品。立即体验，让有声书制作更简单！
- 4941次使用
