「端到端生成」共找到 4212 篇相关文章
00后高盛金融男,欲奸杀前女友,被ChatGPT上报后被捕
25岁前高盛分析师Darren Zhou在ChatGPT写下强奸谋杀前女友计划,OpenAI检测到威胁后举报给FBI。Zhou 8月认罪,被判8年缓刑。此前OpenAI曾因未报警致枪击惨案,AI平台报案界限待明确。
顶尖数学家含泪退圈:熬了多年的博士难题,被AI几周秒杀!
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题,却宣布退出学术圈。他认为AI生成证明虽精巧但难验证,“漂亮证明未验证和垃圾无异”。他投身形式化验证领域,而AxiomProver完成“246定理”形式化验证。
OpenAI有个神秘邮箱,多大点事都能惊动奥特曼
OpenAI扩张中启用friction机制,员工遇问题可发邮件到friction@openai.com,重要问题能惊动高层。该机制由Fidji Simo制度化,虽有人不满,但在竞争中利于消除内部堵点,对手也各有管理法。
百年黎曼猜想被Claude破了新纪录!是个未公开新模型
A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展,将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究,几乎走完科研流程。
Karpathy实测Opus 5:读一段《魔戒》,10美元直出中土世界!
Andrej Karpathy 用 Opus 5 结合《指环王》开篇文字,花约 10 美元让其渲染 3D 游戏。Opus 5 两小时写出 5500 行代码生成 3D 世界,虽粗糙但证明 AI 强大。不过,LLM 无法高效审查自己工作,这是弱点。
陶哲轩在菲尔兹颁奖现场:数学迎来百年新危机
菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机,上次危机是检查逻辑地基,这次是价值观地基。他以First Proof评测展示AI解数学题能力,提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题,还给出应对之策。
浪费20亿Token之后,我做了一个帮自己定义目标的Skill。
作者在浪费20亿Token后,开源了帮定义目标的Leader.skill。它能将模糊需求转为清晰目标,适用于多模型组合。还阐述人类与Agent交互范式转变及目标定义要点,给出目标七问方法论。
Meta首个Agent生图模型登场,空降竞技场第二
Meta超智能实验室推出图像生成模型Muse Image,引入智能体机制,能编写代码、网络搜索,有自主修正能力,支持算力扩展、多轮编辑与画面合成。还预览了Muse Video,两模型均与Meta产品深度整合。
世界模型炒作了半年,反应速度还不如 VLA?穆尧团队和百度智能云给出最新解法
生成式世界模型用于机器人控制备受争议,因其推理延迟高。上海交通大学 ScaleLab 团队等联合发布 AHA - WAM,解决推理延迟和时空分辨率错配问题,在任务成功率和推理速度上领先,还需系统协同推进落地。
调高一档推理强度,成本可能翻几倍:大模型思考原理讲清楚
文章详细讲解推理强度原理,指出其不改模型,只改草稿长度。还说明模型多思考能提高答题准确率的原因,剖析贵和慢的原因,介绍三种控制形态,并给出判断推理强度档位的框架。