AI 科技评论独家获悉，近日盛大网络挖角清华大学电子工程系副教授代季锋，正在筹备一家新的 AGI 公司，号称“对标 DeepSeek”，已有多位技术人才被猎头接触、介绍该团队的工作机会。
在大模型工具层爆发之后，真正的问题逐渐清晰：我们并不缺能“生成文本”“画出图”的 AI 能力，而是缺一个能承载任务、连接角色、组织流程的系统。在当前多数产品仍围绕“输出内容”进行打磨的背景下，协作的逻辑、语境的保留、流程的延续，反而成了被忽视的基础设施。
企业软件开发商 Linear 本周宣布完成 8200 万美元 C 轮融资，本轮由 Accel 领投。该公司产品与 Atlassian 旗下多款产品存在竞争关系。
不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
Anthropic突然撤销了OpenAI员工对Claude的访问权，声称该公司违反了其服务条款。
刚刚，腾讯混元团队宣布一口气开源了 4 款小模型 —— 最大的只有 7B，另外还包括 4B、1.8B 和 0.5B 三个型号。
今天的主角是：Codeway，网址👉 https://www.codeway.co/ 今天介绍的是一家土耳其的 AI 初创公司，之前我们介绍了很多中国和美国的 AI 初创公司，大多是专注1-2个产品，拥有“核心科技”和华丽团队背景和资源的“二代型”公司。
两年前，大家还把 AI 聊天工具当做效率外挂；2024 年开始，“情感陪伴”忽然成了热门赛道——从 Replika 的温柔治愈，到 Character.AI 的角色扮演，再到专供成人模式的 Nastia。Paradot 的切入点更大胆：它想做你独一无二的“数字亲密关系”，既能撒娇，也能深聊，还能陪你写小说、练口语、听白噪音入睡。
2025 年已过半，今年的大模型热度明显下降，关于基础模型的关注大多收敛到了 DeepSeek 与阿里通义上。相比之下，曾一度被标榜为大模型“国产替代”、信创之光的智谱 AI 所受到的关注度明显下降，过往高调的战略打法也渐显低迷。
在这场赛中，Meta 刚刚打出了一记最具冲击力的“王炸”——为年仅 24 岁的 AI 研究员 Matt Deitke，开出高达 2.5 亿美元的薪酬包，刷新行业纪录。
