「Llama 3.1」共找到 3432 篇相关文章
焦虑的贝索斯，决定先裁30000人
亚马逊启动史上最大裁员，先裁14000人，明年或再裁。表面因疫情后人员冗余，实则源于AI军备竞赛压力，AWS优势缩小。公司还计划用机器人替代超50万员工，中层和初级岗位受冲击大，H - 1B员工处境艰难。
2025 IMO真题撕碎AI数学神话，全球顶尖模型齐翻车！冠军铜牌都拿不到
2025 IMO数学竞赛中，全球顶尖AI模型均翻车。冠军Gemini 2.5 Pro仅得31分，连铜牌都拿不到。Grok - 4表现糟糕，DeepSeek - R1也令人失望。AI虽有思路，但逻辑细节不足，离成奥数大师尚远。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
智谱开启狂飙模式！7倍提速，全球最快，旗舰模型即问即答
5月22日，智谱上线GLM - 5.1高速版API，输出速度达400 tokens/s，刷新全球大模型API速度纪录，比原版提速约7倍。该速度由GLM团队和TileRT团队联合打造，核心优化分三层推进，且是稳定可用的生产级能力。
马斯克还在卷10秒，中国AI直接掀桌！16秒一镜到底，全球唯二
2026年AI视频圈竞争激烈，硅谷巨头激战正酣，马斯克Grok Imagine上线生成10s视频功能。在此背景下，中国AI的Vidu Q3登场，16s音画直出一镜到底，还支持多种功能，位列中国第一、全球第二。
没有国产替代，EDA需“自主可控”突围
在ICCAD - Expo 2025上了解到，国产EDA从业者不期待国产替代，要在新产业机遇找突破。先进封装催生出新的EDA技术需求，硅芯科技推出3Sheng平台应对，还推动产业生态建设。赵毅认为国产EDA可差异化突破、工具级协作。
Neuralink芯片入脑让瘫痪男子重新开口，家属泪崩！
伦敦一名患运动神经元疾病、几乎全身瘫痪的男子Paul，植入Neuralink脑机接口装置后，能用「意念」操控电脑打字。Neuralink核心装置N1芯片可捕捉脑信号，让机器理解大脑想法，但临床研究尚处早期，也面临数据归属等问题。
Anthropic开源认知对齐MSM
大模型对齐、安全问题是行业大事，Anthropic开源的MSM对齐方法，能将Qwen3 - 32B的agent错位率大幅降低。它先给模型讲规则逻辑再微调，控制精度高，还研究了最佳实践，将改变大模型对齐流程。
里程碑！Artificial Analysis：Mac能跑的两款开源模型正式追上GPT-5
据Artificial Analysis报告，32B以下开源模型比肩GPT - 5。Qwen3.5 27B、Gemma 4 31B分别与GPT - 5中杯、小杯智能水平相当，虽知识全面性落后，但智能体表现和批判性推理进步大，硬件门槛低。
马斯克脑机接口团队成员出走，他们想把“清醒梦”变成消费电子产品
Prophetic AI是一家致力于研发非侵入式头带以诱导清醒梦的初创公司。其核心设备The Halo通过经颅超声刺激实现神经调节，还发布了大模型Morpheus - 1诱导并稳定清醒梦，但此方法论引发了诸多争议。