知名AI大模型评测Chatbot Arena放榜！阿里Qwen3-235B-A22B-Instruct-2507位列大语言模型总榜第三，月之暗面Kimi-K2-0711-preview、深度求索DeepSeek-R1-0528并列为总榜第五，以开源之姿超越Claude 4、GPT-4.1等顶尖闭源模型。
AI 科技评论独家获悉，近日盛大网络挖角清华大学电子工程系副教授代季锋，正在筹备一家新的 AGI 公司，号称“对标 DeepSeek”，已有多位技术人才被猎头接触、介绍该团队的工作机会。
在大模型工具层爆发之后，真正的问题逐渐清晰：我们并不缺能“生成文本”“画出图”的 AI 能力，而是缺一个能承载任务、连接角色、组织流程的系统。在当前多数产品仍围绕“输出内容”进行打磨的背景下，协作的逻辑、语境的保留、流程的延续，反而成了被忽视的基础设施。
企业软件开发商 Linear 本周宣布完成 8200 万美元 C 轮融资，本轮由 Accel 领投。该公司产品与 Atlassian 旗下多款产品存在竞争关系。
不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
Anthropic突然撤销了OpenAI员工对Claude的访问权，声称该公司违反了其服务条款。
刚刚，腾讯混元团队宣布一口气开源了 4 款小模型 —— 最大的只有 7B，另外还包括 4B、1.8B 和 0.5B 三个型号。
在这场赛中，Meta 刚刚打出了一记最具冲击力的“王炸”——为年仅 24 岁的 AI 研究员 Matt Deitke，开出高达 2.5 亿美元的薪酬包，刷新行业纪录。
全球首个真正实现项目级开发的AI IDE，正在重新定义AI编程。这就是AI编程初创团队芸思智能（AIYouthLab）推出的全新AI IDE——Vinsoo。无论你是新手码农还是资深架构师，它都能帮你完成从需求分析到最终交付的完整开发流程。
gpt5来临前夕，oai疑似发布的小模型gpt-oss 120B的架构图已经满天飞了。难得openai要open一次，自然调动了我的全部注意力机制。本来以为oai还要掏出gpt2意思意思，结果看到了一个120B moe。欸？！
