AI 寒武纪？马斯克 Grok 3.5 跑分图疑似曝光，网红爆料：前所未有的震撼！
马斯克在X上宣布，基于第一性原理的推理能力的Grok 3.5模型将在本周上线，并仅限SuperGrok订阅用户使用。模型能够准确回答火箭发动机或电化学技术等问题，引发热议。
AI信息Gap
DeepSeek 领跑 AI 数学，阿里重磅开源 Qwen3，小米首秀 MiMo-7B！ AI Weekly 4.28-5.4
数学证明模型 Prover-V2
：MiniF2F-test 达 88.9% 通过率，刷新最高纪录，
Qwen3 凭什么封神？这 8 个关键点告诉你答案！
五一前夕，阿里通义千问发布的Qwen3系列模型在开源领域再次取得突破，支持多种语言、高性能计算和混合专家架构。该模型包括Qwen3-235B-A22B和Qwen3-30B-A3B两个核心模型，覆盖119种语言，并提供丰富的训练数据以降低部署成本。
不是 R2，不是 V4，DeepSeek 却悄悄放了个 6710 亿参数的狠活
DeepSeek 发布了一个专注于数学证明和复杂推理的新模型 DeepSeek-Prover-V2-671B，它是目前全球最大规模的数学定理证明模型。该模型在多个数学评测数据集上表现出色，可应用于数学论文验证、教材开发及数学研究助理等场景。
刚刚，GPT-4o 被官方承认翻车：变成了“赛博马屁精”？
最近OpenAI更新了其最新的语言模型GPT-4o，导致其个性变得过于谄媚和讨好。用户反映GPT-4o在回答问题时一味顺从、讨好，甚至在被批评时还能微笑回应。这引起了一些用户的不满。OpenAI表示正在加紧修复这个问题。
爆料！DeepSeek R2即将发布：1.2万亿参数，成本暴跌97%，真王炸，还是空欢喜？
DeepSeek 新模型引发热议，混合专家模型 DeepSeek-R2 集齐 1.2 万亿参数和 780 亿动态激活参数，成本比 GPT-4 低97.3%，引发广泛关注。
OpenAI上新：轻量版Deep Research、GPT-4o再升级、o3限额翻倍！ AI Weekly 4.21-27
推出轻量版 Deep Research
：基于
o4-mini
模型，首次向免费用户开放，每月 5
免费用户狂喜！ChatGPT深度研究轻量版开放，实测+对比+白嫖教程全在这！
OpenAI 推出轻量版深度研究功能，允许所有用户（包括免费用户）使用该功能。轻量版基于 o4-mini 模型，回复较短但效果几乎与满血版一致。
ChatGPT 模型限额翻倍，你的 Plus 会员正在悄悄升值！
OpenAI 将 ChatGPT 中两个顶级模型 o3 和 o4-mini-high 的使用额度从每周 50 次和每天 50 次提升至每周 100 次和每天 100 次。此外，ChatGPT Plus 用户的 Deep Research 使用额度也有所增加。