AI

Anthropic公司以1美元象征性价格向美国政府提供Claude大模型服务，标志着AI行业竞争进入新阶段。了解其背后的策略与市场影响。

普林斯顿大学牵头研发的Goedel-Prover-V2开源数学定理证明模型在多个基准测试中超越前代SOTA，32B参数版本性能提升显著，为数学教育及科研验证提供新工具。

上海国际机场与蚂蚁集团战略合作，共同开发AI智能旅客出行服务平台，提供航班动态推送、无感支付等个性化服务，推动航空服务业向预测式服务转型。首批功能预计2026年春运前上线。

武汉大学与蚂蚁集团联合发布新一代语义增强遥感大模型SkySense++，该模型在多模态数据融合、语义信息挖掘等方面取得重大突破，为农业估产、森林资源监测、地质灾害评估等领域提供新一代智能分析工具。

快手可灵AI发布可图2.1模型，优化指令解析、人像美感及电影质感，支持文生图等多功能，即日起开放7天免费体验，助力内容创作高效升级。

昆仑万维与南洋理工大学联合发布创新的分层多智能体协作框架AgentOrchestra，通过智能体协同解决复杂任务。该框架在GAIA validation评测中表现优异，超越GPT-4.1等主流模型，支...

创世纪人工智能（Genesis AI）完成1.05亿美元种子轮融资，致力于研发通用机器人基础模型。该公司计划2025年底开放模型，技术或应用于工业自动化及家庭服务机器人场景。

优必选（09880.HK）完成3.15亿美元股票配售，创人形机器人领域最大单笔融资纪录。资金将用于供应链支付和核心技术研发，加速规模化交付。公司计划年内交付500台工业人形机器人，产能有望突破万台。

美团最新开源虚拟人视频生成模型LongCat-Video-Avatar实现三大技术突破：支持文本/图片/视频多模式生成、5分钟长视频稳定生成、情感化动作表达。本文详解其解耦无条件引导、跨片段隐空间拼接...

国产AI企业MiniMax发布Agent全栈开发功能，实现零代码开发复杂应用，支持电商、支付等企业级需求，30分钟内完成开发。技术整合三大核心模块，案例包括演唱会选座系统。MiniMax估值突破40亿...