行业追踪

全部内容 · 按时间倒序

模型、产品与 AI 创业公司的动态,相似报道只保留最可信的一篇

开发者用DOOM游戏机制造出Transformer

一位开发者在Hacker News展示DOOMFORMER项目,用DOOM的游戏机制和巫毒娃娃代替数学运算,实现了一个可运行Transformer的替代框架,速度比NumPy慢约65000倍。该模型能识别手写数字、简单对话并玩DOOM,作者希望合作扩大规模。

Hacker News ·

Whissle开源70MB实时语音模型Arc

WhissleAI发布Arc流式语音模型,约70MB,每100毫秒同时输出转写、人名匹配、数字、说话人及事件标记,合并传统ASR、NER与实体链接流程。提供Arc mini与Arc-v1两个版本,权重与代码已开源,并用于其Mac应用。

r/MachineLearning ·

Gemini 4 Carbon登顶AI智能榜,OpenAI降价应对

Google发布Gemini 4 Carbon,以59分登顶Artificial Analysis智能指数,主打发现并修复安全漏洞,Chrome团队称其修复质量超其他前沿模型10倍。OpenAI随即把GPT-6.1 Terra价格减半,并称其处理电脑任务速度提升逾3倍。Block、Rime、Nvidia与Liquid AI也发布可在本地运行的语音及小型模型。

PYMNTS.com ·

GE医疗CEO谈三季度超预期及AI影响

GE医疗CEO Peter Arduini称放射性药物是快速增长领域,正推进癌症、心脏影像和神经疾病(含阿尔茨海默病相关方向)的治疗与护理。由于产品半衰期短、当天可能失效,制造与供应链控制尤为关键。他还谈及公司三季度业绩超预期及AI的作用。

Bloomberg ·

HN用户质疑Opus 5.5质量突然下滑

Hacker News用户发帖称,Claude Opus 5.5在过去半天内输出质量明显下降、注意力变差,多个不同项目的智能体均受影响。讨论中有用户引用每日基准测试称模型并未变差,并比较其与Fable 5.1在推理和风格上的差异。

Hacker News ·

数学家借助AI证明范德瓦尔登数w(2;3,21)=416

一个长期悬而未决的范德瓦尔登数w(2;3,21)被证明等于416,证明经Lean 4内核校验。该值由Kullmann于2010年提出猜想,此次证明复盖209个案例、约3866万个叶公式,每个反证均由经CakeML验证的LRAT检查器cake_pr核验。证明由Hupyy的神经符号系统LPM生成,仅被Lean内核或cake_pr接受的步骤才计入。

r/MachineLearning ·

Reddit转向强制登录以应对搜索流量下滑

Reddit在第三季度财报中宣布将转向以登录为主的体验,以保护数据免受AI抓取并推进授权协议。其全球日活用户持平于1.303亿,美国日活用户从5320万降至5070万,同比下降2%。公司称10月搜索引荐流量平均每周减少逾100万次,并警告下季度日活用户可能下滑至低两位数百分比。

TechCrunch ·

Rivian与大众合资企业扩展至AI助手

Rivian将其AI语音助手技术授权给大众集团,作为双方58亿美元合资企业的一部分。授权费用和具体车型未披露,但该助手可能首次搭载于大众低成本电动车ID EVERY1。此举展示了Rivian自研平台的可扩展性,其AI助手研发历时两年,于2026年9月上线。

TechCrunch ·

NeurIPS 2026参会者求助代讲海报

有研究者因经济原因无法赴巴黎参加NeurIPS 2026 E-Values研讨会,发帖寻找已注册参会者代讲其被录用的海报,并表示愿提供少量酬谢。这反映部分研究者参会面临资金障碍。

r/MachineLearning ·

Thrive Holdings以153亿美元收购ADT

OpenAI支持的Thrive Holdings宣布以每股10美元、约76亿美元股权收购安防公司ADT,交易总企业价值达153亿美元。Thrive计划将AI引入家庭安防业务,ADT将成为其智能家居安防业务的基础。OpenAI作为合作伙伴提供AI模型和技术人员。

TechCrunch ·
加载更多