企业软件开发商 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。欸？！
8月3日消息，据美国专利商标局网站，马斯克旗下人工智能公司 xAI 已于 8 月 1 日（前天）为“Macrohard”（巨硬）商标提交了商标申请，商标持有者为 xAI LLC，申请费用为 2300 美元（现汇率约合 16569 元人民币）。
孵化自北京大学软件工程研究所的 aiXcoder 正是基于这两个痛点走出差异化路线。团队自 2013 年就开始将深度学习技术应用于代码生成和代码理解领域，持续发表研究成果，并率先将深度学习模型落地为商业产品。
九天基础大模型3.0震撼发布！在2025世界人工智能大会上，九天基础大模型端到端技术全面升级
