17岁高中生一战封神！推翻40年数学猜想，起因竟是一道选做题
17岁高中生Hannah Cairo通过构造反例解决了困扰数学界40年的Mizohata-Takeuchi猜想，展示了非凡的数学天赋和创造力。
加州大学伯克利分校
知识类型视角切入，全面评测图像编辑模型推理能力：所有模型在「程序性推理」方面表现不佳
东南大学联合多所研究机构提出了KRIS-Bench，一个评估图像编辑模型知识结构的基准。该基准从事实性、概念性和程序性知识三个层面测试编辑能力，并包含1267对图像指令样本，覆盖初级到高级任务难度。
Stable Audio Open Small 开源，为手机实现音频生成部署
Stability AI与Arm联合发布了一种名为Stable Audio Open Small的小型文本到音频模型，能够在智能手机上运行并实现约7秒生成11秒立体声音频的效果。该模型基于ARC技术开发，参数量减少至3.41亿，内存使用量降至3.6GB，适合移动设备使用。
20万美元奖金等你来拿！首届WBCD 2025双臂机器人挑战赛全球启幕
首届「What Bimanual Can Do」双臂机器人挑战赛将在ICRA 2025上举办，旨在验证双臂机器人的落地性能。赛事包括物流包装、生命科学实验和餐桌服务三项任务，吸引了88支队伍参赛，并设有多家赞助商提供支持。
20万美元奖金池！WBCD’25双臂机器人挑战赛全球启幕，还有数十万美金硬件支持
ICRA 2025将举办WBCD双臂机器人挑战赛，聚焦物流包装、生命科学实验和餐桌服务任务。共有88支队伍参赛，最终18支队伍入围决赛。赛事旨在推动学术界与工业界的链接，助力双臂机器人进入真实世界应用。
速递｜不站队的AI裁判要赚钱了？Chatbot Arena转型公司化运营且计划融资
聊天机器人竞技场（Chatbot Arena）转型为独立公司LMArena，旨在保持开放中立平台地位，加速AI模型测试和比较。该项目由加州大学伯克利分校创立，并迅速成为早期采用者聚集地及领先指标。
曝阿里前高管已入职英伟达！
英伟达完成对贾扬清AI公司Lepton的数亿美元收购，Lepton主要业务是出租英伟达GPU服务器，并开发软件帮助创企在云中构建和管理AI应用。此举或为英伟达进军云和企业软件市场的新动向，其本身已向云客户出租GPU但份额较小。
