GPT-5当上论文作者!AI首次以正式身份参与数学证明,攻克Erdős悬赏猜想
半个世纪悬而未解的数学谜题被攻克,而这次写下证明的,不只是人类。GPT-5 被正式列为论文作者之一——它写出了成千上万行可验证的数学证明代码,让一条悬赏 $1000 的 Erdős 猜想彻底落幕。有些
阅读全文半个世纪悬而未解的数学谜题被攻克,而这次写下证明的,不只是人类。GPT-5 被正式列为论文作者之一——它写出了成千上万行可验证的数学证明代码,让一条悬赏 $1000 的 Erdős 猜想彻底落幕。有些
阅读全文TLDRSRUM 是一种简洁高效的后训练方法。其核心动机在于:当前统一多模态模型的理解能力普遍优于生成能力,对于许多对偶任务,生成端难以处理的问题,理解端却能轻松应对。基于此,SRUM 通过巧妙的指令
阅读全文合适的工作难找?最新的招聘信息也不知道?AI 求职为大家精选人工智能领域最新鲜的招聘信息,助你先人一步投递,快人一步入职!腾讯混元大模型是腾讯公司的通用大模型技术团队,致力于开发业界先进的 AI 大模
阅读全文游离在自由和边界中寻求通向目标的最优解,才是好学生的真正定义。作者丨梁丙鉴编辑丨马晓宁“年轻是一把双刃剑,是好事,也是坏事。”谈到自己的年纪,闵宇恒更客观地抽离了自己的情绪。比起数字,他更在乎这背后意
阅读全文图片来源:受访者提供2025年10月,Tensormesh,这家致力于为企业提供缓存加速推理优化的公司,正式亮相并宣布获得由Laude Ventures领投的450万美元种子资金。公司由芝加哥大学教授
阅读全文图片来源:UnsplashOpenAI 已收购专注于为 Mac 桌面开发 AI 用户界面的初创公司 So
阅读全文图片来源:LangChainLangChain 本周一宣布完成 1.25 亿美元融资,估值达 12.5
阅读全文这两天,一则消息被传开阿里的夸克,有个项目,代号:C计划秘密推进了好几个月这个 C 是啥意思,有多种说法• Chat,对话• 吃豆人 Pac-Man,那个经典游戏• 阿里西溪园区 C 区• Cat,
阅读全文近日,中文精确指令遵循测评基准(SuperCLUE-CPIF)正式发布,文心X1.1以75.51分位居国产大模型第一,在任务类型、指令数量两类划分中均为国内榜首,文心X1.1在实际生产环境中应用具有显
阅读全文机器之心原创作者:张倩前段时间,我们报道过一个非常有趣的现象 —— 在求医问药这件事上,越来越多的人开始求助于 AI 了,尤其是在病因难以明确的情况下。有人甚至声称 AI 帮自己分析出了求医十年都未查
阅读全文机器之心报道编辑:冷猫、+0Meta 裁员余波渐起。昨天的消息,Meta 已在其人工智能部门裁减约 600 个职位,调整波及 FAIR、AI 产品以及基础设施团队。最令人震惊的是田渊栋团队都被 Ale
阅读全文在 AIGC 的下一个阶段,图像编辑(Image Editing)正逐渐取代一次性生成,成为检验多模态模型理解、生成与推理能力的关键场景。我们该如何科学、公正地评测这些图像编辑模型?为了解决这一难题,
阅读全文还记得 20 多年前,那个在你的 Word 文档右下角突然弹出的「大眼夹」Clippy 吗?无论你是在写论文还是情书,它总会探出那对标志性的「高低眉」打断你。这是一个很有年代感的存在,它在 90 年代
阅读全文整理|冬梅 2025 年 10 月 23 日,Microsoft 在其官方博客发布了 “Copilot 秋季发布版”,标志着其人工智能助手 Copilot 平台迈入一个新的阶段。微软 CEO 人工智能
阅读全文作者 | 张旭 概 述2025 年 8 月,OpenAI 发布了 gpt-oss,作为继 GPT-2 之后再次开源的 open-weights model,提供了 120b 和 20b 两个 re
阅读全文金磊 发自 上海量子位 | 公众号 QbitAI如果说一个人可以是云计算发展的“活教科书”,Jeff Barr,无疑是最有资格的那一个。那么这位Jeff Barr,到底何许人也?他是亚马逊云科技最早期
阅读全文梦瑶 发自 凹非寺量子位 | 公众号 QbitAI热闹啊,可真是热闹。这两天,中国机器人又把网上的老外们给看傻眼了……前脚松延动力刚发布自家新宝贝小机器人——Bumi。后脚网友就惊呼——“啥?你告诉我
阅读全文西风 发自 凹非寺量子位 | 公众号 QbitAI注意看,眼前这个男人暂且叫他小帅。你可能想不到,他只是在厨房里优雅地煎牛排做做家务,每小时最高能赚进1000多块(150美元)。怪不得小帅天天上班喜笑
阅读全文允中 发自 凹非寺量子位 | 公众号 QbitAI斯坦福等新框架,用在线强化学习让智能体系统“以小搏大”,领先GPT-4o——AgentFlow,是一种能够在线优化智能体系统的新范式,可以持续提升智能
阅读全文组委会 发自 凹非寺量子位|公众号 QbitAI为了让更多从业者感受智能浪潮的跃迁,也为了给予更多同行同路人掌声与鼓舞,我们将正式启动「2025人工智能年度榜单」评选报名。本次评选将从企业、产品、人物
阅读全文昨天看到一篇论文,非常有意思。论文标题起的很直接,叫《LLMs Can Get "Brain Rot"!》(大语言模型会脑残化!)。翻译成大白话就是,AI 刷多了垃圾社交媒体内容,真的会变傻,傻的很彻
阅读全文作者|周一笑邮箱|zhouyixiao@pingwest.com最近,科技圈和币圈的吃瓜群众们,都围在了一个名为Alpha Arena的AI斗兽场前。这不是什么模拟演练,这是真金白银的AI炒币大赛。主
阅读全文作者|郭海惟邮箱|guohaiwei@pingwest.com10月21日,金山办公正式官宣了自己的新一代WPS多维表格产品。在活动现场,金山办公官宣了一个数字:WPS的表格系列产品“日活跃设备”超过
阅读全文文章转载于定焦OneAI浏览器赛道再添一位重量级玩家——ChatGPT Atlas,这是OpenAI推出的首款人工智能驱动的网页浏览器。这也被外界认为OpenAI要向谷歌宣战,挑战Chrome一直以来
阅读全文文 | 金泰编辑 | 胡珈萌本文首发于巴伦APP这是一场浏览器之争。OpenAI似乎真的想用人工智能颠覆一切。上个月,这家初创公司发布了Sora,这是一款由AI驱动的社交媒体视频应用,目前依然位居苹
阅读全文新智元报道 编辑:桃子 定慧【新智元导读】十年功勋老将刚修完Llama 4的bug,却成了最快被优化的那一个——Meta这场AI人才的「鱿鱼游戏」,连顶级科学家都逃不掉。谁还敢说,大厂是AI人才
阅读全文新智元报道 编辑:定慧【新智元导读】AI最底层规则要被改写,当模型先打腹稿再开口,AI还只是一只概率鹦鹉吗?Transformer可以说整个LLM的基石,但这个基石要松动了!8年了!持续了8年的
阅读全文新智元报道 编辑:元宇【新智元导读】AI是否会产生「意识」是科技界最热议的话题之一。微软AI CEO Mustafa Suleyman近日在一次对话中表示,未来18个月可能出现「看似有意识」的A
阅读全文