应用
陶哲轩IMO演讲全文：一次性解决一千个问题，AI让数学摆脱蛮力计算
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。 最近，在 IMO 2024 的一场演讲中，陶哲轩全面回顾和展望了计算机与人工智能在数学研究中应用范式的演变。视频链接：，他从早期计算工具讨论到现代机器学习和形式化证明助手的演变过程，还着重介绍了最近取得的突破和面临的挑战。陶哲轩强调，虽然人工智能在数学领域的作用越来越大，但人类的洞察力和创造力对于在该领域取得
中国科学院、阿里云发布首个月球专业大模型，撞击坑年代判别准确率超 80%
感谢据阿里云今日消息，在 8 月 29 日的 2024 数博会上，中国科学院地球化学研究所与阿里云联合发布国际首个“月球科学多模态专业大模型”。该大模型基于阿里云通义系列模型构建，目前在月球撞击坑年代和形态判别上，准确率已达到 80% 以上。据阿里云介绍，月球专业大模型以视觉、多模态及自然语言等通义系列模型为基模，结合 RAG 检索增强等技术，于阿里云百炼专属版进行微调及训练。目前，月球专业大模型的最佳落地场景是月球撞击坑识别，并且准确率已达到 80% 以上。人类对月球地质演化的研究除了探测返回的样品，主要依靠撞击
港大黄超团队推出AnyGraph, 首次揭秘图大模型的Scaling Law
AIxiv专栏是AI在线发布学术、技术内容的栏目。过去数年，AI在线AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：[email protected]；[email protected]本文的主要作者来自香港大学的数据智能实验室 (Data Intelligence Lab@HKU)。第一作者是香港大学的博士后夏良昊，指导老师为黄超教授。香港大学数据智能实验室专注于人工智
人人都能玩得起 AI 机器人，HuggingFace 开源低成本解决方案 LeRobot
近日，HuggingFace 开源了低成本 AI 机器人 LeRobot，并指导大家从头开始构建 AI 控制的机器人，包括组装、配置到训练控制机器人的神经网络。当前的 AI 机器人，已经可以上蹿下跳后空翻、再接闪电五连鞭，代替人类承担各种工作。哪怕是当大号手办，咱也想整一个玩玩。但无奈目前大多公司还在研发阶段，少数能量产的又有亿点小贵。当然了，小编相信 AI 和机器人最终会走进千家万户。而现在，我们可以玩到一个低成本的解决方案 ——LeRobot：—— 不知诸位可还记得「炒菜大师」ALOHA？而这个 LeRobot
书生・天际 3.0 实景三维大模型开源发布：城市级 100 平方公里全范围实时渲染，VR 设备可用
据“书生 Intern”官方公众号 28 日推文，书生・天际 3.0 实景三位大模型现已开源发布，渲染效率提速近 6 倍，同时将应用方式拓展至 VR 设备。此前在去年 7 月，上海人工智能实验室联合多家机构发布了书生・天际（LandMark）实景三维大模型，号称首次实现城市级 100 平方公里全范围实时渲染。据介绍，书生・天际 3.0 在 Web 端的基础上，将应用方式拓展至 VR 设备，用户戴上 VR 眼镜，既可在名胜古迹、城市街景或博物馆中自由穿梭、探索，也可在重建的三维实景中对场景进行更直观、更自由的编辑。此
扩散模型做游戏引擎，单TPU 20 FPS模拟毁灭战士，谷歌最新GameNGen太博眼球了
GameNGen 是第一个完全由神经模型驱动的游戏引擎。谷歌在人工智能领域又一次取得了重大进展。在最新发表的一篇论文中，研究者创建了一个神经网络，可以在不使用传统游戏引擎的情况下为经典射击游戏《毁灭战士》生成实时游戏画面。这个名为 GameNGen 的系统标志着人工智能领域向前迈出了重要一步，它在一个芯片上以每秒 20 帧的速度生成可玩的游戏画面，每帧画面都由扩散模型进行预测。可以说，这是第一个完全由神经模型驱动的游戏引擎，可以高质量地在长轨迹上与复杂环境进行实时交互。这一成就标志着人工智能首次完全模拟了一款复杂的
2024 三星开发者大会将于 10 月 3 日在美国加州举行，聚焦 AI 创新
三星电子今日宣布，“2024 三星开发者大会”（SDC 2024）将于当地时间 10 月 3 日在美国加州圣何塞麦克内里会议中心举行。今年活动将以“为了大家的人工智能：10 年的开放性创新与未来”为主题，重点关注如何充分利用当今的 AI 创新。三星电子设备体验（DX）部门负责人（副会长）韩宗熙将登台发表主旨演讲，庆祝三星的“AI for All”愿景，还将谈论三星的 AI 伦理原则。AI在线注意到，三星鼓励与会者在 10 月 3 日太平洋时间上午 10 点（北京时间 10 月 4 日凌晨 1 点）在线直播三星 SD
谷歌将重新开放 Gemini 生成人物图像功能，此前因“种族描述不当”引争议
感谢北京时间 29（今）日，据彭博社报道，谷歌宣布将恢复 AI 模型 Gemini 生成人物图像的功能，部分消费者将可以重新使用。谷歌表示，将开始向订阅 Gemini Advanced 套餐的英语用户推出生成人物图像功能。企业也将能够使用该工具，该功能将在未来几天内上线。谷歌产品管理高级总监戴夫・西特伦（Dave Citron）表示，该公司在通过 Imagen 3 生成人物描写方面取得了“重大进展”。“我们一直在努力对产品进行技术改进，并改进了评估集、红队练习和明确的产品原则。当然，Gemini 创建的每张图像都不
马斯克 AI 公司 xAI 被指未经许可在数据中心使用燃气涡轮机，污染空气质量
感谢马斯克的 AI 初创公司 xAI 正面临环保和健康倡导者的批评，原因是该公司在未获得必要的许可的情况下在其数据中心使用燃气涡轮机，造成了田纳西州孟菲斯市的空气污染。南方环境法律中心向位于 Shelby 县的数据中心所在地区的美国环境保护署和卫生部门发了一封信，信中写道：“尽管安装了近 20 台燃气涡轮机，总容量约为 100 兆瓦，足以给大约 5 万户家庭供电，但 xAI 似乎尚未为这些涡轮机申请任何空气许可证。”该环境法律倡导组织呼吁该县卫生部门核实 xAI 是否在未获得空气许可证的情况下运行这些涡轮机，并采取
OpenAI接近完成新一轮融资，估值超1000亿美元 ；众擎机器人完成近亿天使轮融资；数字华夏获智元机器人天使投资丨AI情报局
今日融资快报OpenAI接近完成新一轮融资，估值超1000亿美元 OpenAI正接近完成新一轮融资，由兴盛资本(Thrive Capital)领投，估值超过1000亿美元。 知情人士称，兴盛资本将在这轮融资中向OpenAI投资大约10亿美元。 OpenAI大股东微软预计也将参与投资。
用户反馈 Claude AI 聊天机器人愈发“慵懒”，官方回应未做调整
科技媒体 The Decoder 昨日（8 月 28 日）发布博文，报道称 Anthropic 公司旗下的 Clause AI 聊天机器人变得愈发“慵懒”了，不再像此前那样能干了。网友 NextgenAITrading 于 11 天前在 Reddit 社区发帖，帖子标题为《这绝不是你的幻觉！Claude 最近变得越来越懒了》，目前该帖子已收获 485 个赞，共有 290 条跟帖回复。网友称 Claude 很容易忘记任务，在基础编程方面也很吃力，最终导致其选择取消订阅。Anthropic 公司的亚历克斯・艾伯特（Al
330 亿参数昆仑大模型发布：中国能源化工行业首个通过备案的大模型，中国石油携手中国移动、华为和科大讯飞打造
科大讯飞集团官方公众号发布博文，表示昨日（8 月 28 日）在北京举办的成果发布会上，中国石油发布 330 亿参数昆仑大模型，是中国能源化工行业首个通过备案的大模型。昆仑大模型简介AI在线援引新闻稿，昆仑大模型由中国石油、中国移动、华为公司和科大讯飞联合打造，于今年 5 月签署合作共建协议，按照“五个一”行动计划，训练了 8 个大模型、研发了 18 个应用场景。图源：科大讯飞昆仑大模型已于 8 月 23 日通过了国家生成式人工智能服务备案，是中国能源化工行业首个通过备案的大模型。在顶层设计具有三大特点：一是创新提出
AI 图像生成公司 Midjourney 宣布进军硬件领域，苹果前硬件经理加盟
知名 AI 图像生成公司 Midjourney 宣布将涉足硬件领域，该公司今日在社交媒体 X 上发布消息，邀请人才加入其新成立的硬件部门。据AI在线了解，Midjourney 创始人 David Holz 曾任 Leap Motion 的首席技术官，具备丰富的硬件经验。近期，他招募了前 Leap Motion 同事 Ahmad Abbas 担任 Midjourney 硬件部门负责人。Abbas 曾在苹果公司工作过五年，担任硬件经理，参与了 Vision Pro 头显的研发。目前 Midjourney 尚未透露将开发
安卓 / macOS 版 ChatGPT AI 应用现支持“@”，可无缝切换不同 GPT 模型
科技媒体 testingcatalog 昨日（8 月 28 日）发布博文，报道称安卓版和 macOS 版 ChatGPT 现支持 Mentions 功能，用户在聊天对话中使用“@”字符来调用不同的定制 GPT 模型。在安卓版 ChatGPT 应用中，用户输入“@”符号之后，会弹出一个窗口，让用户选择不同的 GPT，在保持聊天上下文的时候方便用户无缝切换。苹果 macOS 平台最新版 ChatGPT 也已上线该功能，但目前 iOS 平台 ChatGPT 仍未上线。AI在线注：Mentions 是 ChatGPT 的一
消息称 OpenAI 正进行新一轮融资谈判，使其估值冲破千亿美元
感谢北京时间今天凌晨，综合 CNBC、《华尔街日报》等消息，OpenAI 正在进行一轮融资谈判，将使这家 AI 初创公司的估值超过 1000 亿美元（AI在线备注：当前约 7124.5 亿元人民币）。据不具名知情人士透露，Thrive Capital 正在主导本轮融资，并将投资 10 亿美元（当前约 71.24 亿元人民币）。今年早些时候，OpenAI 的估值就已超过 800 亿美元（当前约 5699.6 亿元人民币），高于上一年的 290 亿美元。2022 年末，OpenAI 推出了 ChatGPT 聊天机器人之
太肝了！这可能是全网首篇Ideogram系统教程
一、智言川语
这款 AI 绘画软件 Ideogram，我认为是设计师、运营、自媒体从业人员需要重视起来的，如果你不会或者是不了解它，那么这一篇文章你一定要认真研读一下。为什么我会说这款软件很重要？答案是它在做设计上真的太好用了，一键出海报、网页、logo、徽章......
而且是如 Midjourney 一样，一款轻量化 AI 绘画工具，不受设备的限制，网页登录即可使用。对比起 SD、MJ，它更适合设计师们日常使用。下面将由我为大家介绍 Ideogram 这款软件，并系统的教会你如何使用它。
二、基础介绍
1. I
AIGC如何应用到电商领域？京东618实战案例来了！
在 2024 年 618 项目中，3CDesign 深耕 AIGC 领域，把 AIGC 能力应用到整个项目创意设计中，不断创新优化会场、全场域视觉设计，同时 3CDesign 不断创新自研组件，致力于给用户带来更好的体验，打造 3C 数码品牌心智。一、618 视觉创意-AIGC 技术实践
1. 前言：AI 对设计的影响
在中国电商设计领域，人工智能与图形计算（AIGC）技术的快速发展正深刻影响着行业的方方面面。AIGC 技术不仅改善了电商平台的用户体验和界面设计，还通过数据分析和个性化推荐系统提升了营销效率和销售转
AI在用 |「国乒喜剧人」许昕搞的Logo火了，我用AI整了个
以大模型、AIGC为代表的人工智能浪潮已经在悄然改变着我们生活及工作方式，但绝大部分人依然不知道该如何使用。因此，我们推出了「AI在用」专栏，通过直观、有趣且简洁的人工智能使用案例，来具体介绍AI使用方法，并激发大家思考。我们也欢迎读者投稿亲自实践的创新型用例。投稿邮箱：[email protected]许昕还是太全面了。2020 年德国公开赛，「人民艺术家」许昕以一记背手击球，把马龙打得一脸懵逼。如今，这一「神仙球」动作，成了许昕体育品牌「Xuperman Sports」的 Logo：一个从背后反手击球