搜索
蚂蚁数科资深技术专家魏长征在 AICon 大会上分享 Harness 工程实践，指出 AI Coding 的关键不是写得更快要让产出可验收，并在 40 万行 Rust 新项目和 60 万行 C++ 存量项目中分别通过内建 Harness 和先补齐文档与 CI 门禁实现质量闭环，后者缺陷率从 20% 以上降至个位数。
ECCV 2026论文ART由vivo BlueImage Lab联合哈工大与南大提出，通过将真实参考图作为可微分监督信号的两阶段训练框架，突破了复杂妆容迁移中的伪目标天花板，同步发布了首个2K分辨率妆容数据集MF2K。
就在刚刚，GPT-6 Astra 毫无预警地全量上线。GPT-6 Astra 已经正式面向 ChatGPT Work 以及 Codex 的 Pro、Enterprise 和 Business Premium 用户同步开放，API 接口也已经全部就绪。
Anthropic声称其模型Claude在11天内完成了费马大定理的完整形式化证明，写下约1300万行Lean代码，人类仅提供少量高层指导，其中30300个定理获得机器可验证证明，标志着大规模自动形式化首次接近工程化落地。
荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿美元，其打造的AI操作系统AI OS可统一管理企业跨模型、跨部署方式的AI工作流，目前团队已扩展至650人并覆盖35个市场。
AI智能体基础设施公司以太之心（AetherHeart）凭借Aeloon智能体与AetherStation边缘一体机产品，近日完成由上海天使会、浦东创投、高信资本及天使清芬参投的数千万种子轮融资。
Grok Bot企业版上线，Grok和Cursor企业用户可免费使用两周，新增权限绑定、网络控制和审计日志等安全功能，并支持多智能体云端协同办公与模板共享。
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
空间智能企业映界科技MirrorSpace完成超千万元种子+轮融资，海愿资本领投，奇绩创坛、松禾资本持续加注，资金重点用于感知硬件商业化交付与时空世界模型训练。