-
- 加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
- LeanCopilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授AnimaAnandkumar宣布，团队发布了LeanCopilot论文的扩展版本，并且更新了代码库。图片论文地址：https://arxiv.org/pdf/2404.12534.pdf最新实验表明，这个Copilot工具，可以自动化80%以上的数学证明步骤了！这个纪录，比以前的基线aesop还要好2.3倍。并且，和以前一样，它在MIT许可下是开源的。图片他是一位华人小哥宋沛洋，他是UCSB的
- 科技周边 · 人工智能 | 1年前 | AI LLM 陶哲轩 286浏览 收藏
-
- 肯睿Cloudera宣布新任大中华区副总裁
- 中国北京，2024年4月9日——企业大数据和人工智能平台公司肯睿Cloudera今日宣布任命新任大中华区副总裁。此举旨在进一步聚焦客户成功及业务转型，并通过提供混合多云大数据和大模型能力，助力企业适应大数据和人工智能应用的发展，加速数字化转型进程。肯睿Cloudera现任命刘汨春先生为大中华区副总裁（RVP），他将负责推动肯睿Cloudera在中国的进一步拓展，并主导战略性销售、渠道发展和本地化策略方向。肯睿Cloudera大中华区副总裁刘汨春此次新任高管的任命进一步彰显了肯睿Cloudera致力于赋能中
- 科技周边 · 人工智能 | 1年前 | AI 数据 数字化转型 云 108浏览 收藏
-
- 因聚而生，数智有为：华为举办中国合作伙伴大会2024
- 今天上午，华为中国合作伙伴大会2024在深圳开幕。大会以“因聚而生，数智有为”为主题，面向数智化转型的浪潮，华为携手伙伴共同探讨如何通过强化“伙伴+华为”体系，帮助客户抓住数智化转型的巨大机遇，加速迈向智能世界。我们正处于数字经济迅猛发展的前沿，数字化、智能化、低碳化已经成为经济和社会发展的关键驱动力，为千行万业的数智化转型带来了前所未有的商业机会和经济价值，而可持续化也正给中国政企市场的发展带来巨大的机遇。在这个大趋势下，各行业和企业数智化转型升级需求正在不断涌现。华为常务董事、ICT基础设施业务管理委
- 科技周边 · 人工智能 | 1年前 | 华为 产业 405浏览 收藏
-
- 人人都可成为AI开发者！李彦宏带来三大AI开发神器
- 2023年初崛起为科技领域最亮的星，展示了凯AI技术变革经济社会的巨大潜能。经过一年多的技术突破和市场验证，进入2024年，大模型的巨大价值已经得到主流国家的共识，主流科技公司纷纷布局。美国、中国等国家，正处于引领大模型产业发展的未来。在国内科技公司中，率先发布文心大模型的百度，已经取得了不凡成果。在今日举办的Create2024百度AI开发者大会上，百度创始人、董事长兼首席执行官李彦宏在主题演讲中透露，文心一言用户数突破2亿，文心大模型成为中国最领先、应用最广泛的AI基础模型。与此同时，李彦宏还打算让所
- 科技周边 · 人工智能 | 1年前 | 大模型 AI开发 205浏览 收藏
-
- ADMap：抗干扰在线高精地图新思路
- 写在前面&笔者的个人理解很高兴受邀参加自动驾驶之心的活动，我们将分享在线重建矢量化高精度地图的抗扰动方法ADMap。你可以在https://github.com/hht1996ok/ADMap上找到我们的代码。感谢大家的关注和支持。在自动驾驶领域，在线高清地图重建对于规划和预测任务具有重要意义，近期的工作构建了许多高性能的高清地图重建模型来满足这一需求。然而矢量化实例内部的点序由于预测偏差可能会出现抖动或锯齿现象，从而影响后续任务。因此，我们提出了Anti-DisturbanceMaprecons
- 科技周边 · 人工智能 | 1年前 | 模型 高精地图 126浏览 收藏
-
- 苹果研究人员称其设备端模型 ReALM 性能优于 GPT-4，可大幅提升 Siri 智能程度
- 本站4月2日消息，虽然目前Siri可以尝试描述信息中的图片，但效果并不稳定。不过，苹果公司并没有放弃人工智能领域的探索。在最近的一篇研究论文中，苹果的人工智能团队描述了一种可显著提升Siri智能的模型，而他们认为这个模型名为ReALM的模型在测试中优于OpenAI的知名语言模型GPT-4.0。这篇文章介绍了ReALM的特别之处，它可以同时理解用户屏幕上的内容和正在进行的操作。讨论分为以下三种类型：屏幕实体：指的是当前显示在用户屏幕上的内容。对话实体：指的是与对话相关的内容。例如，用户说“打电话给妈妈”，那
- 科技周边 · 人工智能 | 1年前 | 人工智能 iOS 18 ReALM 373浏览 收藏
-
- VPR 2024 满分论文！Meta提出EfficientSAM：快速分割一切！
- EfficientSAM这篇工作以5/5/5满分收录于CVPR2024！作者在某社交媒体上分享了该结果，如下图所示：LeCun图灵奖得主也强烈推荐了该工作！在近期的研究中，Meta研究者提出了一种新的改进方法，即使用SAM的掩码图像预训练(SAMI)。这一方法结合了MAE预训练技术和SAM模型，旨在实现高质量的预训练ViT编码器。通过SAMI，研究者试图提高模型的性能和效率，为视觉任务提供更好的解决方案。这一方法的提出为进一步探索和发展计算机视觉和深度学习领域带来了新的思路和机遇。通过结合不同的预训练技术
- 科技周边 · 人工智能 | 1年前 | 研究 训练 编码器 149浏览 收藏
-
- 联合国际顶尖高校 昆仑万维开源数字智能体研发工具包AgentStudio
- 近日，昆仑万维2050全球研究院、新加坡南洋理工大学、苏黎世联邦理工学院研究团队联手开源了数字智能体全流程研发工具包AgentStudio，旨在为研究人员和开发者提供一个覆盖智能体完整开发流程的综合性平台，让开发者们能够轻松、高效、灵活地构建专属数字智能体。AgentStudio提供的工具涵盖数字智能体开发的全部流程，包括智能体观察与动作空间、跨平台的在线环境支持、交互式数据收集与评估、可扩展的任务套件，以及相应的图形界面。此外，研究团队还评估了多个多模态大模型完成数字世界任务的能力。AgentStudi
- 科技周边 · 人工智能 | 1年前 | 入门 昆仑万维 394浏览 收藏
-
- 可发现药物靶点，哈佛等机构开发了一种对蛋白建模的深度学习方法
- 编辑|萝卜皮维持细胞内蛋白质稳定性关键且必不可少，翻译过程的改变与多种疾病有关。核糖体分析可详细测量基因组范围内的翻译情况。然而，目前尚不清楚如何从这些数据中准确鉴别生物变异，并确定导致翻译异常的序列因素。在最新的研究中，中国科学院、哈佛大学（HarvardUniversity）、斯坦福大学（StanfordUniversity）、约翰霍普金斯大学（JohnsHopkinsUniversity）的研究团队开发了Riboformer，一个基于深度学习的框架，用于对翻译动态中上下文相关的变化进行建模。Ribo
- 科技周边 · 人工智能 | 1年前 | 理论 190浏览 收藏
-
- 清华微软开源全新提示词压缩工具，长度骤降80%！GitHub怒砍3.1K星
- 在自然语言处理中，有很多信息其实是重复的。如果能将提示词进行有效地压缩，某种程度上也相当于扩大了模型支持上下文的长度。现有的信息熵方法是通过删除某些词或短语来减少这种冗余。然而，基于信息熵的计算仅涵盖了文本的单向上下文，可能会忽略压缩所需的关键信息；而且，信息熵的计算方式并非完全符合压缩提示词的实际目的。为了迎接这些挑战，清华大学和微软的研究人员共同提出了一项全新的数据处理流程，名为LLMLingua-2。其旨在从大型语言模型（LLM）中提取知识，通过压缩提示词实现信息的精炼，同时确保关键信息不会丢失。项
- 科技周边 · 人工智能 | 1年前 | 微软 研究 318浏览 收藏
-
- 火山引擎4K修复影片入选北影节 相关技术在CVPR2024夺冠
- 4月18日，第十四届北京国际电影节正式开幕。由中国电影资料馆、抖音和火山引擎联合修复版的港片《A计划》与《卖身契》入选“致敬·修复”单元，并于4月18日、19日进行放映。4K版《A计划》《卖身契》电影海报《A计划》《卖身契》分别上映于1983年和1978年，距今已四十多年。2023年8月，中国电影资料馆、抖音和火山引擎共同发起了“经典香港电影修复计划”，宣布修复100部香港电影。此次放映的这两部影片就来自上述项目，影片的原始拍摄底片在香港完成4K格式扫描，整个修复流程包括中国电影资料馆的物理和数字修复，火
- 科技周边 · 人工智能 | 1年前 | 产业 204浏览 收藏
-
- 办公楼中面部识别技术的风险和回报
- 在过去的几年里，办公室整合了更多的技术，特别是作为在大流行后让人们回来的一种方式。当前部署的最先进的技术之一是面部识别。面部识别被用作一种生物识别钥匙，可以授予门禁权限并调度适当的电源。在办公室内部，许多公司正在使用该技术来跟踪出勤情况、筛选求职者和监控员工产出力等。该技术的制造商宣传其在日常任务中的效率和易用性，例如进出建筑物以及监控员工的活动和出勤情况。但并不是所有人都同意。面部识别引发了人们对在工作场所使用生物识别技术的道德问题的批评，以及对隐私和准确性的担忧。面部识别的使用引发了人们对在工作场所使
- 科技周边 · 人工智能 | 1年前 | 人脸识别 276浏览 收藏
-
- 快手强化学习与多任务推荐
- 一、Two-StageConstrainedActor-CriticforShortVideoRecommendation第一篇工作是快手自研的，主要针对的是带约束的多任务场景。1.短视频多任务推荐场景这篇工作主要针对的是短视频的一个比较专业化的场景，多任务的用户反馈分为观看时长和互动，比较常见的互动包括点赞、收藏、关注还有评论，这些反馈各有特点。我们通过线上系统观察发现，时长信号实际上非常稀疏，而且因为它是连续值，难以精准度量用户的兴趣程度。相比之下，互动信号更加丰富，包括赞、藏、关注以及评论，这些反馈
- 科技周边 · 人工智能 | 1年前 | 推荐系统 多任务推荐 148浏览 收藏
-
- 将AI集成到DevOps，以增强工作流自动化
- 译者|陈峻审校|重楼如果有人跟你说，软件开发和运营团队可以毫不费力地协同工作、简化流程，并能提高工作效率，你一定会想到那是DevOps。现如今，人们则期望它能够利用人工智能（AI）的力量，彻底改变每个决策、且能更轻松协助教育新入行的DevOps专业人员。从深层次来看，无论是自动化日常任务、优化资产分配，还是预测潜在问题，人工智能完全可以对DevOps的工作流程产生革命性的影响。了解。要实现人工智能在开发运维中的无限机遇，需要考虑提高团队的沟通效率、减少故障恢复时间和增强应变能力。如何将人工智能融入DevO
- 科技周边 · 人工智能 | 1年前 | 人工智能 DevOps 175浏览 收藏
-
- OpenAI提供新的微调和定制选项
- 微调在构建有价值的人工智能工具中起着至关重要的作用。这种使用更有针对性的数据集精炼预训练模型的过程可使用户大大增加模型对专业内涵的理解，允许用户为特定任务的模型增加现成知识。虽然这个过程可能需要时间，但与从头开始训练模型相比，它的成本效益通常要高三倍。这一数值正如OpenAI最近宣布扩展其自定义模型程序以及为其微调API提供各种新功能所反映的那样。自服务微调API的新特性OpenAI于2023年8月首次宣布推出针对GPT-3的自助微调API，并受到了AI社区的热烈响应。据OpenAI报告称，成千上万的团体
- 科技周边 · 人工智能 | 1年前 | 人工智能 OpenAI 426浏览 收藏
查看更多
课程推荐
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案，代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景，打造一站式知识长龙服务，适合有JS基础的同学学习。
- 542次学习
-
- GO语言核心编程课程
- 本课程采用真实案例，全面具体可落地，从理论到实践，一步一步将GO核心编程技术、编程思想、底层实现融会贯通，使学习者贴近时代脉搏，做IT互联网时代的弄潮儿。
- 508次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信：Le-studyg；在课程中，我们将首先介绍MySQL8的新特性，包括性能优化、安全增强、新数据类型等，帮助学生快速熟悉MySQL8的最新功能。接着，我们将深入解析MySQL的网络通信机制，包括协议、连接管理、数据传输等，让
- 497次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网，分为导航，轮播，关于我们，成功案例，服务流程，团队介绍，数据部分，公司动态，底部信息等内容区块。网站整体采用CSSGrid布局，支持响应式，有流畅过渡和展现动画。
- 484次学习
-
- Golang深入理解GPM模型
- Golang深入理解GPM调度器模型及全场景分析，希望您看完这套视频有所收获；包括调度器的由来和分析、GMP模型简介、以及11个场景总结。
- 473次学习
查看更多
AI推荐
-
- PPTFake答辩PPT生成器
- PPTFake答辩PPT生成器，专为答辩准备设计，极致高效生成PPT与自述稿。智能解析内容，提供多样模板，数据可视化，贴心配套服务，灵活自主编辑，降低制作门槛，适用于各类答辩场景。
- 14次使用
-
- Lovart
- SEO摘要探索Lovart AI，这款专注于设计领域的AI智能体，通过多模态模型集成和智能任务拆解，实现全链路设计自动化。无论是品牌全案设计、广告与视频制作，还是文创内容创作，Lovart AI都能满足您的需求，提升设计效率，降低成本。
- 14次使用
-
- 美图AI抠图
- 美图AI抠图，依托CVPR 2024竞赛亚军技术，提供顶尖的图像处理解决方案。适用于证件照、商品、毛发等多场景，支持批量处理，3秒出图，零PS基础也能轻松操作，满足个人与商业需求。
- 28次使用
-
- PetGPT
- SEO摘要PetGPT 是一款基于 Python 和 PyQt 开发的智能桌面宠物程序，集成了 OpenAI 的 GPT 模型，提供上下文感知对话和主动聊天功能。用户可高度自定义宠物的外观和行为，支持插件热更新和二次开发。适用于需要陪伴和效率辅助的办公族、学生及 AI 技术爱好者。
- 28次使用
-
- 可图AI图片生成
- 探索快手旗下可灵AI2.0发布的可图AI2.0图像生成大模型，体验从文本生成图像、图像编辑到风格转绘的全链路创作。了解其技术突破、功能创新及在广告、影视、非遗等领域的应用，领先于Midjourney、DALL-E等竞品。
- 53次使用
